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 p75E7ruC023656 for ; Fri, 5 Aug 2011 16:07:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsULAIb4O04+3JIE/2dsb2JhbABCmCc1jwZ3gUABAQVuGwsSEyFFBA4rh10Cv0CFZ18EkwGQaQ X-IronPort-AV: E=Sophos;i="4.67,323,1309730400"; d="scan'208";a="115068627" Received: from vs.philou.ch ([62.220.146.4]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Aug 2011 16:07:48 +0200 Received: from bookpro-wlan.lan (85-218-12-84.dclient.lsne.ch [85.218.12.84]) by vs.philou.ch (Postfix) with ESMTPSA id 106CA233E29 for ; Fri, 5 Aug 2011 16:07:48 +0200 (CEST) Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Apple Message framework v1244.3) From: Philippe Strauss In-Reply-To: <790A96E0-994B-4765-A72F-CE4BBB4B27C6@philou.ch> Date: Fri, 5 Aug 2011 16:07:47 +0200 Message-Id: References: <790A96E0-994B-4765-A72F-CE4BBB4B27C6@philou.ch> To: caml-list@inria.fr X-Mailer: Apple Mail (2.1244.3) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p75E7ruC023656 Subject: Re: [Caml-list] nano configure patch for natdynlink support on OSX 10.7 hmm not enough, although: ** Configuration summary ** Directories where Objective Caml will be installed: binaries.................. /opt/ocaml//bin standard library.......... /opt/ocaml//lib/ocaml manual pages.............. /opt/ocaml//man (with extension .1) Configuration for the bytecode compiler: C compiler used........... gcc options for compiling..... -fno-defer-pop -no-cpp-precomp -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT options for linking....... -lcurses -lpthread shared libraries are supported options for compiling..... -fno-defer-pop -no-cpp-precomp -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT command for building...... gcc -bundle -flat_namespace -undefined suppress -read_only_relocs suppress -o lib.so /a/path objs Configuration for the native-code compiler: hardware architecture..... amd64 OS variant................ macosx C compiler used........... gcc options for compiling..... -D_FILE_OFFSET_BITS=64 -D_REENTRANT options for linking....... assembler ................ as -arch x86_64 preprocessed assembler ... gcc -arch x86_64 -c >>> native dynlink ........... true profiling with gprof ..... supported Source-level replay debugger: supported Additional libraries supported: unix str num dynlink bigarray systhreads threads graph dbm labltk Configuration for the "num" library: target architecture ...... amd64 (asm level 1) Configuration for the "graph" library: options for compiling .... -I/usr/X11R6/include options for linking ...... -L/usr/X11R6/lib -lX11 Configuration for the "labltk" library: use tcl/tk version ....... 8.5 options for compiling .... options for linking ...... -ltk8.5 -ltcl8.5 ** Objective Caml configuration completed successfully ** -- philou@bookpro-wlan:~/src/ml/ocaml-3.12.1$ gfind /opt/ocaml/ -iname "dynlink*" /opt/ocaml/lib/ocaml/dynlink.cma /opt/ocaml/lib/ocaml/dynlink.cmi /opt/ocaml/lib/ocaml/dynlink.mli -- philou@bookpro-wlan:~/src/ml/ocaml-3.12.1$ uname -a Darwin bookpro-wlan.lan 11.0.0 Darwin Kernel Version 11.0.0: Sat Jun 18 12:56:35 PDT 2011; root:xnu-1699.22.73~1/RELEASE_X86_64 x86_64 philou@bookpro-wlan:~/src/ml/ocaml-3.12.1$ ./config/gnu/config.guess i686-apple-darwin11.0.0 Le 5 août 2011 à 15:50, Philippe Strauss a écrit : > --- configure.orig 2011-08-05 15:42:27.000000000 +0200 > +++ configure 2011-08-05 15:41:52.000000000 +0200 > @@ -620,7 +620,7 @@ > *-*-cygwin*) natdynlink=true;; > i[3456]86-*-linux*) natdynlink=true;; > x86_64-*-linux*) natdynlink=true;; > - i[3456]86-*-darwin10.*) > + i[3456]86-*-darwin1[01].*) > if test $arch64 == true; then > natdynlink=true > fi;; > > --8<-- > > Haven't tested natdynlink support on 10.7 yet, though. > > regards. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >