From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 250387F2AA for ; Wed, 19 Dec 2012 20:38:42 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of marek@xivilization.net) identity=pra; client-ip=178.63.18.39; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="marek@xivilization.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of marek@xivilization.net designates 178.63.18.39 as permitted sender) identity=mailfrom; client-ip=178.63.18.39; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="marek@xivilization.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@coaxial.xivilization.net) identity=helo; client-ip=178.63.18.39; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="postmaster@coaxial.xivilization.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqcIAAAX0lCyPxIn/2dsb2JhbABEg0iCLLgJFnOCHgEBBAE6BgEBOAQLC0ZXGYgNCqQ/hDoBBXaOOQaMTYEagymWDIEdjyyCdQ X-IronPort-AV: E=Sophos;i="4.84,318,1355094000"; d="scan'208";a="186920406" Received: from coaxial.xivilization.net ([178.63.18.39]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 Dec 2012 20:38:41 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=xivilization.net; s=xiv; h=Content-Transfer-Encoding:Content-Type:Mime-Version:References:In-Reply-To:Message-ID:Subject:To:From:Date; bh=faE2tSUfrQyldyrvEiQSvBe7CsVVJoEwwMEn402l03E=; b=Uty1zudx4Ru0SN2EmxNUhH6IRbKSBHfQ/ufpMiY/GZ4ULy/Qgl2a+FfzGomMz5DfBkJ4IXMUMgTQC+wYzH4iQrunqRjmgLeasjTRdx0XIuZTCkmdvKOgc6xBDpax71Mi; Received: from ppp-93-104-184-46.dynamic.mnet-online.de ([93.104.184.46] helo=localhost.localdomain) by coaxial.xivilization.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1TlPTV-00083Z-3M for caml-list@inria.fr; Wed, 19 Dec 2012 20:38:41 +0100 Date: Wed, 19 Dec 2012 20:38:23 +0100 From: Marek Kubica To: caml-list@inria.fr Message-ID: <20121219203823.71ce6520@xivilization.net> In-Reply-To: <20121219202728.4fa184a3@xivilization.net> References: <20121219202728.4fa184a3@xivilization.net> X-Mailer: Claws Mail 3.9.0 (GTK+ 2.24.14; x86_64-unknown-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] OASIS: linking with C library fails On Wed, 19 Dec 2012 20:27:28 +0100 Marek Kubica wrote: > You can see the complete output (after ocaml setup.ml -clean) in the > Gist. Now I wonder how to fix it? From what I see, Archive_stubs.c > gets compiled to an .o file properly but linking fails as it doesn't > seem to get linked to the library. What am I missing? Alright, I figured it out thanks to adrien @ #ocaml: I don't have a dependency on ost, so it never links the stuff together. So I stared at ocaml-archive's _oasis file for a bit and figured I try adding a BuildDepends: ost line in the executable declaration. Lo and behold, it works! So uhm, thanks for listening :) regards, Marek