From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id oBT97vom031482 for ; Wed, 29 Dec 2010 10:07:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgYCAHuJGk1RZ90vkWdsb2JhbACkOBUBAQEBCQsKBxEDIb8KhUoEiwQ X-IronPort-AV: E=Sophos;i="4.60,244,1291590000"; d="scan'208";a="84856590" Received: from mtaout01-winn.ispmail.ntl.com ([81.103.221.47]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Dec 2010 10:07:51 +0100 Received: from aamtaout01-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout01-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20101229090750.RJZR26766.mtaout01-winn.ispmail.ntl.com@aamtaout01-winn.ispmail.ntl.com>; Wed, 29 Dec 2010 09:07:50 +0000 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout01-winn.ispmail.ntl.com (InterMail vG.3.00.04.00 201-2196-133-20080908) with ESMTP id <20101229090750.FPNF20122.aamtaout01-winn.ispmail.ntl.com@romulus.metastack.com>; Wed, 29 Dec 2010 09:07:50 +0000 Received: from remus.metastack.local ([172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id oBT97laX008706 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Wed, 29 Dec 2010 09:07:47 GMT Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%11]) with mapi; Wed, 29 Dec 2010 09:04:22 +0000 From: David Allsopp To: Joel Reymont , "caml-list@inria.fr" Thread-Topic: [Caml-list] Re: dllunix.so not installed Thread-Index: AQHLpuck6J57qmBM4EyyVfJsX7F0LpO2g++AgACXVfA= Date: Wed, 29 Dec 2010 09:04:22 +0000 Message-ID: References: <62A9EF76-FCC0-49E3-A3CA-4816BDD92D1C@gmail.com> <83F75E8D-FC49-45FB-8EE8-645FD0281FA5@gmail.com> In-Reply-To: <83F75E8D-FC49-45FB-8EE8-645FD0281FA5@gmail.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 81.102.132.77 X-Cloudmark-Analysis: v=1.1 cv=X0sWjjQ37bMP4yB/pNNinY3VxVB2n/hmdAjhihaCFGs= c=1 sm=0 a=huXM380As5IA:10 a=kj9zAlcOel0A:10 a=xqWC_Br6kY4A:10 a=GYO2nrASap8CtFOuPp4A:9 a=JTt88kHcUwZTv7xmEoYA:7 a=e1oJW8QedJsuQW1BQ82jdHl2-G0A:4 a=CjuIK1q_8ugA:10 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id oBT97vom031482 Subject: RE: [Caml-list] Re: dllunix.so not installed Joel Reymont wrote: > Mea culpa, build/install.sh is only supposed to be used in the ocamlbuild > setting. > > This is the only mention of ocamlbuild in the INSTALL file, though. Should > it be removed? Yes - the paragraph explaining fastworld.sh (which is the first step before using install.sh) was removed between RC1 and the release of 3.12.0 so presumably that should have been removed too. There have been various calls in the past for there to be one officially supported build system rather than two - perhaps the reference has been removed to discourage general use and make it clear that "make world" is the "official" build mechanism (at least for now)... David