Configuring for a i686-apple-darwin10.0.0 ... gcc found 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. 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. 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. ** Configuration summary ** Directories where Objective Caml will be installed: binaries.................. /usr/local/bin standard library.......... /usr/local/lib/ocaml manual pages.............. /usr/local/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 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 **