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
>
--
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
