From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1SFZgaD015378 for ; Tue, 28 Feb 2012 16:35:47 +0100 X-IronPort-AV: E=Sophos;i="4.73,496,1325458800"; d="scan'208";a="146451891" Received: from cbg35-2-78-242-14-140.fbx.proxad.net (HELO [192.168.0.145]) ([78.242.14.140]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 28 Feb 2012 16:35:01 +0100 Mime-Version: 1.0 (Apple Message framework v1257) Content-Type: text/plain; charset=iso-8859-1 From: Alan Schmitt In-Reply-To: Date: Tue, 28 Feb 2012 16:34:55 +0100 Cc: caml-list Message-Id: <8FFF332E-3635-467F-B135-F09F806A034E@polytechnique.org> References: <74F89B4A-9C34-4A33-8DAA-8A12CF9EF03B@polytechnique.org> To: Damien Doligez X-Mailer: Apple Mail (2.1257) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q1SFZgaD015378 Subject: Re: [Caml-list] state of native dynlink on os x On 27 févr. 2012, at 16:43, Damien Doligez wrote: > Hi Alan, >> Following a suggestion by Daniel Bünzli, I used the minimum example from http://caml.inria.fr/mantis/view.php?id=5093 then I can see that native dynlink does work. >> >> However two questions remain. I get `ld: warning: -read_only_relocs cannot be used with x86_64` each time I link natively. Does this mean I should reopen http://caml.inria.fr/mantis/view.php?id=4863 (the patch there is applied to my version of caml)? > > Which version of Mac OS X, which version of OCaml, and what is the output of configure? OS X 10.7.3, ocaml 3.12.1-godi2. About the output of configure, I'm trying to see how to get it from godi, in the meantime here is my ocamlc -config: version: 3.12.1 standard_library_default: /Users/schmitta/godi/lib/ocaml/std-lib standard_library: /Users/schmitta/godi/lib/ocaml/std-lib standard_runtime: /Users/schmitta/godi/bin/ocamlrun ccomp_type: cc bytecomp_c_compiler: gcc -fno-defer-pop -no-cpp-precomp -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT bytecomp_c_libraries: -lcurses -lpthread native_c_compiler: gcc -D_FILE_OFFSET_BITS=64 -D_REENTRANT native_c_libraries: native_pack_linker: ld -r -arch x86_64 -o ranlib: ranlib cc_profile: -pg architecture: amd64 model: default system: macosx asm: as -arch x86_64 ext_obj: .o ext_asm: .s ext_lib: .a ext_dll: .so os_type: Unix default_executable_name: a.out systhread_supported: true >> Also, when running why3, I get some undefined symbols (_camlRandom, _camlParsing, _camlString). Where are these symbols defined? > > Looks like modules of the standard library, right ? Do they need to be loaded manually, or should they be loaded automatically by the native linker? Alan