Configuring for a x86_64-unknown-linux-gnu ... 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. expm1(), log1p(), hypot(), copysign() 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 in -ldl. Dynamic loading of shared libraries is supported. mmap() found. pwrite() found gethostbyname_r() found (with 6 arguments). gethostbyaddr_r() found (with 8 arguments). 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. X11 works Options for compiling for X11: Options for linking with X11: -L/usr/lib/x86_64-linux-gnu -lX11 Configuring LablTk... tcl.h and/or tk.h not found. Configuration failed, LablTk will not be built. BFD library not found, 'objinfo' will be unable to display info on .cmxs files Assembler supports CFI ** Configuration summary ** Directories where OCaml 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 -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT options for linking....... -Wl,-E -lm -ldl -lcurses -lpthread shared libraries are supported options for compiling..... -fPIC -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT command for building...... gcc -shared -o lib.so -Wl,-rpath,/a/path objs Configuration for the native-code compiler: hardware architecture..... amd64 OS variant................ linux C compiler used........... gcc options for compiling..... -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT options for linking....... -lm assembler ................ as preprocessed assembler ... gcc -c assembler supports CFI ... yes with frame pointers....... no native dynlink ........... true profiling with gprof ..... supported Source-level replay debugger: supported Additional libraries supported: unix str num dynlink bigarray systhreads threads graph Configuration for the "num" library: target architecture ...... amd64 (asm level 1) Configuration for the "graph" library: options for compiling .... options for linking ...... -L/usr/lib/x86_64-linux-gnu -lX11 The "labltk" library: not supported ** OCaml configuration completed successfully **