From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E318FBCAF for ; Fri, 8 Jul 2005 21:03:24 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j68J3LsA014965 for ; Fri, 8 Jul 2005 21:03:22 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA00552 for ; Fri, 8 Jul 2005 21:03:21 +0200 (MET DST) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.193]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j68J3J18015707 for ; Fri, 8 Jul 2005 21:03:21 +0200 Received: by wproxy.gmail.com with SMTP id i16so523337wra for ; Fri, 08 Jul 2005 12:03:19 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:date:from:to:cc:subject:message-id:mail-followup-to:mime-version:content-type:content-disposition:user-agent; b=MZIJ80jA4IOU85jGncgBSp+vNdP0/ZkeFmWyZFERzVh+B1Dhvwn8c5U8Sub2gqVLr2wW0PieBt1v6OjAea2lN8PoFAbF/8N211fG05Z78bktpVLiH2orCGEkg04F1JjSZdhQXyGOA8B8SKFuDzUPz2GasNKAul3SWMDBwOgWPoM= Received: by 10.54.2.18 with SMTP id 18mr1440722wrb; Fri, 08 Jul 2005 12:02:52 -0700 (PDT) Received: from localhost ([141.155.88.179]) by mx.gmail.com with ESMTP id 13sm1382838wrl.2005.07.08.12.02.51; Fri, 08 Jul 2005 12:02:52 -0700 (PDT) Date: Fri, 8 Jul 2005 15:02:45 -0400 From: Markus Mottl To: OCaml Cc: Yaron Minsky Subject: Bootstrapping problem with patched compiler Message-ID: <20050708190245.GA21352@quant3.janestcapital.quant> Mail-Followup-To: OCaml , Yaron Minsky Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4.1i X-Miltered: at concorde with ID 42CECDF9.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42CECDF7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 patched:01 compiler:01 ocaml:01 patched:01 byterun:01 printexc:01 camlprim:01 byterun:01 makefile:01 prims:01 printexc:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.5 required=5.0 tests=INFO_TLD,RCVD_BY_IP autolearn=disabled version=3.0.2 X-Spam-Level: Hi, I have run into linking problems trying to bootstrap OCaml patched with more primitives in the standard library. The patch changes the Printexc-module in the standard library and refers to external functions, which were added to byterun/printexc.c (as CAMLprim). byterun/Makefile has been changed as required (variable PRIMS) to include byterun/printexc.c now when computing primitives. According to a post from Xavier some time ago the right way to bootstrap the compiler with such changes is as follows: - start with pristine OCaml sources - do "make world" - perform your changes - do "make all" (NOT "make world") - do "make bootstrap" to make sure everything is OK. Unfortunately, this does not work for me. Here is the last error message, which pops up after "make all": make[2]: Entering directory `/tmp/ocaml/otherlibs/labltk/lib' ../../../ocamlcomp.sh -verbose -linkall -o labltktop -I ../support \ -I ../../../toplevel toplevellib.cma \ -I ../labltk -I ../camltk labltk.cma \ -I ../../unix unix.cma \ -I ../../str str.cma \ topstart.cmo Files ../../../toplevel/toplevellib.cma(Topmain) and ../../../stdlib/stdlib.cma(Printexc) make inconsistent assumptions over interface Printexc Since I don't understand all dependencies of the build process, maybe one of the developers could give me a hint where the bootstrapping failed? - Thanks a lot! Best regards, Markus -- Markus Mottl markus.mottl@gmail.com http://www.ocaml.info