From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.5 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 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 D2290BB84 for ; Mon, 25 Aug 2008 11:35:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoDADIZskjAXQIniGdsb2JhbACCZI9KAQEBDyChZIFr X-IronPort-AV: E=Sophos;i="4.32,264,1217800800"; d="scan'208,217";a="16251367" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Aug 2008 11:35:42 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m7P9ZgJ2017875 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 25 Aug 2008 11:35:42 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnkQAOUZskiEpqxrVGdsb2JhbACCZI9AARYGBwQUoWuBaw X-IronPort-AV: E=Sophos;i="4.32,264,1217800800"; d="scan'208,217";a="16425388" Received: from sainfoin-out.extra.cea.fr ([132.166.172.107]) by mail1-smtp-roc.national.inria.fr with ESMTP; 25 Aug 2008 11:35:41 +0200 Received: from nephilia.intra.cea.fr (nephilia.intra.cea.fr [132.166.88.33]) by sainfoin.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-1.0) with ESMTP id m7P9Zf4k012820 for ; Mon, 25 Aug 2008 11:35:41 +0200 Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by nephilia.intra.cea.fr (8.13.8/8.13.8) with ESMTP id m7P9ZfBZ024457 for ; Mon, 25 Aug 2008 11:35:41 +0200 (envelope-from Pascal.CUOQ@cea.fr) Received: from is005030.intra.cea.fr (is005030.intra.cea.fr [132.166.132.11]) by muguet1.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.0) with ESMTP id m7P9Zfo8012163 for ; Mon, 25 Aug 2008 11:35:41 +0200 Message-Id: <404EA822-F238-49EF-8363-69C35F44788F@cea.fr> From: Pascal Cuoq To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=Apple-Mail-3-831572438 Mime-Version: 1.0 (Apple Message framework v926) Subject: bootstrapping OCaml after changing the runtime Date: Mon, 25 Aug 2008 11:35:40 +0200 X-Mailer: Apple Mail (2.926) X-Miltered: at concorde with ID 48B27CEE.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cuoq:01 cuoq:01 ocaml:01 runtime:01 toplevel:01 makefile:01 ocaml:01 cvs:01 camlprim:01 toplevel:01 makefile:01 cvs:01 camlprim:01 pps:01 pps:01 --Apple-Mail-3-831572438 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Hi all, there was a thread earlier this summer on the topic of the bootstrap: http://groups.google.com/group/fa.caml/browse_thread/thread/a39e6699f0c5043d I should add a tidbit of information that took me a while to figure out to the information there. The information from the thread is: "look at the comment 'Hard bootstrap how-to' in the toplevel Makefile of the OCaml [CVS] distribution" The additional tidbit is: if you are trying to add a new primitive, try splitting the patch in two parts, the part that contains the C primitive (the "CAMLprim ..." in a .c file) and the part that makes it visible from caml (the "external ..." in an .ml file). Apply the first patch only first, bootstrap, apply the second one and bootstrap again. I did not see this information explicitly documented anywhere, but it was implicitly contained in the following web page: http://www.pps.jussieu.fr/~henry/marshal/index.en.html Pascal --Apple-Mail-3-831572438 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Hi = all,

there was a thread earlier this summer on the = topic of the bootstrap:


I should add a tidbit of = information that took me a while
to figure out to the = information there. The information from
the thread = is:

"look at the Makefile of the OCaml = [CVS] distribution"

The additional = tidbit is:

if you are trying = to add a new primitive, try splitting the = patch
in two parts, the part that contains the C = primitive (the
"CAMLprim ..." in a .c file) and the part = that makes it visible
from caml (the = "external ..." in an .ml file). Apply the first = patch
only first, bootstrap, apply the second one = and bootstrap again.

I did not see this information explicitly = documented anywhere,
but it was = implicitly contained in the following web = page:
<= font class=3D"Apple-style-span" face=3D"arial" size=3D"3">
Pascal

= --Apple-Mail-3-831572438--