From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1SAFfCa004442
	for <caml-list@sympa-roc.inria.fr>; Tue, 28 Feb 2012 11:15:41 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkgDANCoTE/RVdY2kGdsb2JhbABCjDynIwgiAQEBAQkJDQcUBCOBdAEBBBICLAE4AQMMAQUFCzsfAgESAQUBHAYTIodkm0cKjmOFOYkzAQULiQWDbQ4RBw8GBAMEAwgECg0UAwECAQIChSERCAoJBRWDQQSNFIgrh2qDL4MXPYFTgjE
X-IronPort-AV: E=Sophos;i="4.73,495,1325458800"; 
   d="scan'208";a="133317737"
Received: from mail-bk0-f54.google.com ([209.85.214.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Feb 2012 11:15:36 +0100
Received: by bkcjc3 with SMTP id jc3so3366978bkc.27
        for <multiple recipients>; Tue, 28 Feb 2012 02:15:35 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type;
        bh=llgWpVbFZ+VBRfRWAz0Zisq5S45uNDW8miUGb2VVnMs=;
        b=U5RiZpAR2hsZ+0SDytp7u39nsS6CvHIZ31LTtEZd9Ao++VMZKu7w3lKhV2f89lod30
         8ErF/ljMbrKXbjsDREWeAAQHJ2IBzwBuRw/oeaebYRze7LFHocL9FdmNQNofPu/q0COV
         au6Q88XxoZCZdm5TV0smrT/IkMQKIpZC3jAvk=
Received: by 10.204.141.10 with SMTP id k10mr7392039bku.51.1330424135608; Tue,
 28 Feb 2012 02:15:35 -0800 (PST)
MIME-Version: 1.0
Sender: david.mentre@gmail.com
Received: by 10.204.101.137 with HTTP; Tue, 28 Feb 2012 02:15:05 -0800 (PST)
In-Reply-To: <CANnJ5GcgSBPqiTbpQ8XQ=pY6nd7uGCMn460KHZeCYrfvGTeAaQ@mail.gmail.com>
References: <CDBD76E7-EB50-493E-A886-4908CC93C251@polytechnique.org>
 <74F89B4A-9C34-4A33-8DAA-8A12CF9EF03B@polytechnique.org> <AA6DC537-C741-49CF-95F4-B5D71043078A@inria.fr>
 <CANnJ5GcgSBPqiTbpQ8XQ=pY6nd7uGCMn460KHZeCYrfvGTeAaQ@mail.gmail.com>
From: David MENTRE <dmentre@linux-france.org>
Date: Tue, 28 Feb 2012 11:15:05 +0100
X-Google-Sender-Auth: xC-oYOhNO3ZIfEKo-o9ghWxpPsg
Message-ID: <CAC3Lx=Yr4vgtVqJmieNbN7LJcV4rEkPz25G0rnjJxYO4-ugRWA@mail.gmail.com>
To: Pierre-Alexandre Voye <ontologiae@gmail.com>
Cc: Damien Doligez <damien.doligez@inria.fr>, caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] state of native dynlink on os x

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