From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 7889EBC57 for ; Thu, 10 Jun 2010 23:31:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkICAK72EExKfVK0kGdsb2JhbACDHptECBUBAQEBCQkMBxEDH60GOYIDhTIuiE8BAQMFgSGDA28Eg0s X-IronPort-AV: E=Sophos;i="4.53,400,1272837600"; d="scan'208";a="52145809" Received: from mail-wy0-f180.google.com ([74.125.82.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Jun 2010 23:31:30 +0200 Received: by wyg36 with SMTP id 36so353466wyg.39 for ; Thu, 10 Jun 2010 14:31:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:subject :to:cc:in-reply-to:references:mime-version:content-type:content-id :content-transfer-encoding; bh=Lf2fJzcsTpl0cuRdBi6dd5hbx7PhLoXYGdzJoPxBXy0=; b=FK/XXmrfQxchwSsBcJRbjOXmGBmhVSEgmP6MhkzDAWE9J7h1oTQBGRrl4YdXsXGtrT XEO/VOhgfNwCKtuN8kNbSmQA5N29wK5Yicv9p+T4G0Q7MxmxX6eU+DXgKrOUyfoOW4LE 1Wc+JXSUywdd9CTsRK/NxdnSh9ihAG2gH94Qs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:subject:to:cc:in-reply-to:references :mime-version:content-type:content-id:content-transfer-encoding; b=Y2z2+/aN3CjWjjVz0T77VOnj9YJ30B7M3D0DR8XwDL/dAgtma4yxGSHa8G226c5vyM 1iU3idAXzOb3nRaoOzGbp9yAQa15T3iU+n80Jq0Dffsy4ckiq6aoIHhNA90rjrNwQCs8 QHRdT9j/vTAJFFIb8eSkoI4KoqWqVZ6DSxUM8= Received: by 10.227.133.70 with SMTP id e6mr828808wbt.148.1276205489445; Thu, 10 Jun 2010 14:31:29 -0700 (PDT) Received: from localhost (ks.feydakins.org [91.121.104.209]) by mx.google.com with ESMTPS id u19sm3097468wbc.2.2010.06.10.14.31.28 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 10 Jun 2010 14:31:28 -0700 (PDT) Message-ID: <4c1159b0.931ee30a.3d2c.1f16@mx.google.com> Date: Thu, 10 Jun 2010 14:31:28 -0700 (PDT) From: Nicolas Pouillard Subject: Re: [Caml-list] build/fastworld issues To: Török Edwin Cc: caml-list@yquem.inria.fr In-Reply-To: <4C115302.1020001@gmail.com> References: <4C08B1C3.3040503@gmail.com> <4c114962.e495e30a.6d2f.1ac8@mx.google.com> <4C115302.1020001@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-ID: <25490.1276205487.1@ks.feydakins.org> Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; 'make:01 opt':01 'make:01 opt':01 ocaml:01 ocamlopt:01 -nostdlib:01 -warn-error:01 otherlibs:01 dynlink:01 nat:01 stdlib:01 otherlibs:01 dynlink:01 nat:01 On Fri, 11 Jun 2010 00:02:58 +0300, T=C3=B6r=C3=B6k Edwin wrote: > On 2010-06-10 23:21, Nicolas Pouillard wrote: > > On Fri, 04 Jun 2010 10:56:51 +0300, T=C3=B6r=C3=B6k Edwin wrote: > >> Hi, > >> > >> I have successfully built 3.12.0+dev25 with 'make world.opt', but I g= et > >> an error if I try 'build/fastworld.sh'. > >> Both 'make world.opt' and 'build/fastworld.sh' work fine on ocaml 3.1= 1.2. > >> > >> Here is the error: > >> + ./ocamlopt.opt -nostdlib -c -g -warn-error A -I otherlibs/dynlink/n= at > >> -I stdlib -o otherlibs/dynlink/nat/dynlink.cmx > >> otherlibs/dynlink/nat/dynlink.ml > >> File "otherlibs/dynlink/nat/dynlink.ml", line 43, characters 0-15: > >> Error: Unbound module Cmx_format > >> Command exited with code 2. > >> Compilation unsuccessful after building 1621 targets (678 cached) in > >> 00:00:18. > >> > >> This happens on Debian unstable, x86-64. > >> Should I open a bugreport, or is reporting to this list about problem= s > >> with trunk enough? > > = > > This issue is fixed in the 3.12 branch. > > = > = > Thanks, switching to 3.12 branch worked. > Not being familiar with OCaml development process I thought that 3.12 > will be released from trunk, I didn't know 3.12 branch existed already. The 3.12 branch is quite new. Recently forked off the trunk. Bug-fixes goes to both and breaking code goes to trunk. However since the beta release is quite soon the trunk may not be up to date. Best regards, -- = Nicolas Pouillard http://nicolaspouillard.fr