From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1T8XP4D015689 for ; Wed, 29 Feb 2012 09:33:29 +0100 X-IronPort-AV: E=Sophos;i="4.73,501,1325458800"; d="scan'208";a="133538394" Received: from top.irisa.fr ([131.254.16.41]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 29 Feb 2012 09:33:28 +0100 Mime-Version: 1.0 (Apple Message framework v1257) Content-Type: text/plain; charset=iso-8859-1 From: Alan Schmitt In-Reply-To: <8FFF332E-3635-467F-B135-F09F806A034E@polytechnique.org> Date: Wed, 29 Feb 2012 09:33:29 +0100 Cc: caml-list Message-Id: <51640A57-929F-4E01-94A2-966027648C25@polytechnique.org> References: <74F89B4A-9C34-4A33-8DAA-8A12CF9EF03B@polytechnique.org> <8FFF332E-3635-467F-B135-F09F806A034E@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 q1T8XP4D015689 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? Here is the output of configure: Configuring for a i686-apple-darwin11.3.0 ... The C compiler is ANSI-compliant. Checking the sizes of integers and pointers... Wow! A 64 bit architecture! This is a little-endian architecture. Doubles can be word-aligned. 64-bit integers can be word-aligned. Native division and modulus have round-towards-zero semantics, will use them. ranlib found #! appears to work in shell scripts POSIX signal handling found. expm1() and log1p() found. getrusage() found. times() found. termcap functions found (with libraries '-lcurses') You have BSD sockets. socklen_t is defined in inet_aton() found. IPv6 is supported. unistd.h found. off_t is defined in dirent.h found. rewinddir() found. lockf() found. mkfifo() found. getcwd() found. getwd() found. getpriority() found. utime() found. utimes() found. dup2() found. fchmod() found. truncate() found. sys/select.h found. select() found. symlink() found. waitpid() found. wait4() found. getgroups() found. setgroups() found. initgroups() found. POSIX termios found. Asynchronous I/O are supported. setitimer() found. gethostname() found. uname() found. gettimeofday() found. mktime() found. setsid() found. putenv() found. setlocale() and found. dlopen() found. Dynamic loading of shared libraries is supported. mmap() found. Replay debugger supported. System stack overflow can be detected. POSIX threads library supported. Options for linking with POSIX threads: -lpthread sigwait() found Bytecode threads library supported. Location of X11 include files: /usr/X11R6/include/X11 Options for linking with X11: -L/usr/X11R6/lib -lX11 NDBM found (in /usr/include) Configuring LablTk... tcl.h and tk.h version 8.5 found with "". Tcl/Tk libraries found. BFD library not found, 'objinfo' will be unable to display info on .cmxs files ** Configuration summary ** Directories where Objective Caml will be installed: binaries.................. /Users/schmitta/godi/bin standard library.......... /Users/schmitta/godi/lib/ocaml/std-lib manual pages.............. /Users/schmitta/godi/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 Alan