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=1.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 003C7BBC4 for ; Fri, 6 Mar 2009 15:23:50 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuoBAAvBsEnRVdqpjWdsb2JhbACUST8BAQEBCQkTDwWxNoEHj1ABAwEDhAUGgwg X-IronPort-AV: E=Sophos;i="4.38,314,1233529200"; d="scan'208";a="22157239" Received: from mail-bw0-f169.google.com ([209.85.218.169]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Mar 2009 15:23:50 +0100 Received: by bwz17 with SMTP id 17so461544bwz.27 for ; Fri, 06 Mar 2009 06:23:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:content-type:cc:subject:from :to:references:in-reply-to:date:message-id:user-agent; bh=QlAzMxDo8Tet0Bs33gb2bU3vja3DGW5zb1lEeY59zoU=; b=QkDQqWvTJREwbQ8uCU7O7odnNvkwHjtW5201huCzuwiyfY9Pm/fkTAxnvtuUZFClOJ 78vmCecFaPJgcwlPQELPrG/Rq2s7hqOoZw5gj/pj1xmmv6aEmVfr8FIc+c+DpwMZTPzM 1h7NnpZturVfgVtYcgrdMLs4XQ/GFCN9mszM8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:cc:subject:from:to:references:in-reply-to:date :message-id:user-agent; b=EgahAzI4XuPlzdgRpyAg3722gAt3nGrGLlUSn/vim4+AbaYRI9Zg6II3dUzmOGGMrz opJy9m5/bA4X68FIDohrcTRoOiVyl9NTCfMsKkuXSD84I/WhaOB/PI8oiI0O8HMfa4Qq oXodGfudlkRTTRHLWkX1h0fdGmvS4uhmYrloA= Received: by 10.103.11.5 with SMTP id o5mr1072010mui.132.1236349430330; Fri, 06 Mar 2009 06:23:50 -0800 (PST) Received: from localhost (ausone.inria.fr [128.93.8.95]) by mx.google.com with ESMTPS id i7sm1693284mue.44.2009.03.06.06.23.48 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 06 Mar 2009 06:23:49 -0800 (PST) Content-Type: text/plain; charset=UTF-8 Cc: Andres Varon , O'Caml Mailing List Subject: Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard From: nicolas.pouillard To: Joel Reymont References: <5D9E51D7-E609-44C1-B09C-D93B68F03301@gmail.com> <006201c99da4$8c51d3a0$a4f57ae0$@com> <92486029-2A0B-4C91-84CC-6D908059580A@gmail.com> In-Reply-To: Date: Fri, 06 Mar 2009 15:22:41 +0100 Message-Id: <1236349160-sup-4296@ausone.inria.fr> User-Agent: Sup/git X-Spam: no; 0.00; ocaml:01 cvs:01 asmcomp:01 mlp:01 asmcomp:01 mlp:01 clflags:01 clflags:01 merging:01 cvs:01 ocaml:01 deps:01 byte:01 ocamlrun:01 byte:01 Excerpts from Joel Reymont's message of Fri Mar 06 11:40:13 +0100 2009: > > On Mar 5, 2009, at 4:08 PM, Andres Varon wrote: > > > I don't think that it compiles the way it is now. It seems to me > > that there was a version merge error and asmcomp/amd64/emit.mlp has > > repeated definitions of emit_call and emit_jump. > > > Here's the offending part of asmcomp/amd64/emit.mlp. > > The two load_symbol_addr are equivalent and the only difference in the > rest is the Mac OSX check. /More after the code/ > > let emit_call s = > if !Clflags.dlcode && not macosx > then `call {emit_symbol s}@PLT` > else `call {emit_symbol s}` > > let emit_jump s = > if !Clflags.dlcode && not macosx > then `jmp {emit_symbol s}@PLT` > else `jmp {emit_symbol s}` > > let load_symbol_addr s = > if !Clflags.dlcode > then `movq {emit_symbol s}@GOTPCREL(%rip)` > else if !pic_code > then `leaq {emit_symbol s}(%rip)` > else `movq ${emit_symbol s}` > > > let emit_call s = > if !Clflags.dlcode > then `call {emit_symbol s}@PLT` > else `call {emit_symbol s}` > > let emit_jump s = > if !Clflags.dlcode > then `jmp {emit_symbol s}@PLT` > else `jmp {emit_symbol s}` > > let load_symbol_addr s = > if !Clflags.dlcode > then `movq {emit_symbol s}@GOTPCREL(%rip)` > else if !pic_code > then `leaq {emit_symbol s}(%rip)` > else `movq ${emit_symbol s}` The second part of this code have to be removed, this is an undesirable behavior of merging some CVS branches. However the CVS HEAD is not supposed to be as stable as the ocaml3110 branch. > On my system dlcode is true and so is macosx so it should note be > taking the PLT branch. There's also this ocamlbuild rule for building > asmcomp/emit.ml from asmcomp/amd64/emit.mlp > > let emit_mlp = "asmcomp"/C.arch/(if ccomptype = "msvc" then > "emit_nt.mlp" else "emit.mlp") in > rule "emit.mlp" > ~prod:"asmcomp/emit.ml" > ~deps:[emit_mlp; "tools/cvt_emit.byte"] > begin fun _ _ -> > Cmd(S[ocamlrun; P"tools/cvt_emit.byte"; Sh "<"; P emit_mlp; > Sh">"; Px"asmcomp/emit.ml"]) > end;; > > I believe the issue is that distclean.sh does not remove ocamlopt in > the root of the ocaml source distribution. I was able to get past the > PLT error once I removed ocamlopt from the root of the tree and > modified asmcomp/amd64/emit.mlp to remove the second set of emit_call > and emit_jump functions that do not include Mac OSX checks. > > I got a different error from fastworld.sh now and it does not seem to > be related to 64 bits. > > + boot/ocamlyacc -v ocamldoc/odoc_text_parser.mly > 5 shift/reduce conflicts. > + ./ocamlc.opt -nostdlib -c -g -w Ale -warn-error Ale -I toplevel -pp > 'boot/ocamlrun camlp4/boot/camlp4boot.byte' -I camlp4 -I stdlib -I > camlp4/Camlp4Top -I camlp4/build -o camlp4/Camlp4Top/Top.cmo camlp4/ > Camlp4Top/Top.ml > File "camlp4/Camlp4Top/Top.ml", line 37, characters 4-26: > Error: Unbound value Toploop.print_location This last error is rather strange, and I can't reproduce it, maybe it's another strange build state error? -- Nicolas Pouillard