From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1SAWqRI005159 for ; Tue, 28 Feb 2012 11:32:52 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqQBAJGsTE/RVaC2kGdsb2JhbABChSelMgGJBQgiAQEBAQkJDQcUBCOBcwEBAQMBEgIPHQEbHQEDAQsGBQQBBjcCAiEBAREBBQEcBhMIGodfBQubNgqLJkyCcYU7P4h0AQULiQWDbQ4RB0YJAQoGAwKESQUOHgEmEQgGBAEDBQULCgyCH4EWBJU/ixmDFz2EBA X-IronPort-AV: E=Sophos;i="4.73,495,1325458800"; d="scan'208";a="146392102" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Feb 2012 11:32:46 +0100 Received: by ghrr20 with SMTP id r20so2172341ghr.27 for ; Tue, 28 Feb 2012 02:32:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=f26h80gvAJvLuVg5bTf4xfIFyDFmFQ428DEfEdyL6to=; b=l6SovWHGbTGpBwl5aUwru9osqY5ptlJ4Zf+hE8b8oPWIrEKIlQ6ZmrikBvDNKFIq4I bIuY1yqqHCVZ57pBJ3pzLZ8lrTqF07iRQLdQcbtw06YYamE328A8gIbULz4NBhC5AUdQ pPmEP2BwuR9lceGy+TCc4XshVv0TU1oEno8d0= Received: by 10.236.182.36 with SMTP id n24mr20553215yhm.111.1330425165450; Tue, 28 Feb 2012 02:32:45 -0800 (PST) MIME-Version: 1.0 Received: by 10.236.67.47 with HTTP; Tue, 28 Feb 2012 02:32:25 -0800 (PST) In-Reply-To: References: <74F89B4A-9C34-4A33-8DAA-8A12CF9EF03B@polytechnique.org> From: Pierre-Alexandre Voye Date: Tue, 28 Feb 2012 11:32:25 +0100 Message-ID: To: David MENTRE Cc: Damien Doligez , caml-list Content-Type: multipart/alternative; boundary=20cf30563a01630ef804ba03bf21 Subject: Re: [Caml-list] state of native dynlink on os x --20cf30563a01630ef804ba03bf21 Content-Type: text/plain; charset=UTF-8 It doesn't change anything : make clean ./configure --enable-menhirlib --enable-doc make ... ocamlopt.opt -a -w Aer-29 -dtypes -I src -I /opt/local/lib/ocaml/site-lib/ocamlgraph -o src/why3.cmxa src/why3.cmx Ocamlopt src/main.ml Linking bin/why3.opt File "_none_", line 1, characters 0-1: Error: Cannot find file dynlink.cmxa make: *** [bin/why3.opt] Error 2 2012/2/28 David MENTRE > Hello, > > 2012/2/27 Pierre-Alexandre Voye : > > make: *** Waiting for unfinished jobs.... > > Are you using parallel compilation of Why3 (make -j /n/?). I had > compilation issue with parallel compilation of Why3. However it might > not be related to your issue or it might have been fixed in the > meantime. > > Best regards, > david > -- --------------------- https://twitter.com/#!/ontologiae/ http://linuxfr.org/users/montaigne --20cf30563a01630ef804ba03bf21 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable It doesn't change anything :
make clean
./configure=C2=A0 --enabl= e-menhirlib --enable-doc
make
...

ocamlopt.opt -a -w Aer-29 -d= types=C2=A0=C2=A0=C2=A0 -I src -I /opt/local/lib/ocaml/site-lib/ocamlgraph = -o src/why3.cmxa src/why3.cmx
Ocamlopt src/main.ml
Linking=C2=A0 bin/wh= y3.opt
File "_none_", line 1, characters 0-1:
Error: Cannot= find file dynlink.cmxa
make: *** [bin/why3.opt] Error 2

2012/2/28 David MENTRE <dmentre@linux-france.org>
Hello,

2012/2/27 Pierre-Alexandre Voye <ontologiae@gmail.com>:
> make: *** Waiting for unfinished jobs....

Are you using parallel compilation of Why3 (make -j /n/?). I had
compilation issue with parallel compilation of Why3. However it might
not be related to your issue or it might have been fixed in the
meantime.

Best regards,
david



--
---------------------https:= //twitter.com/#!/ontologiae/
http://linuxfr.org/users/montaigne

--20cf30563a01630ef804ba03bf21--