gistfile1.txt

** Configuration summary **

Directories where OCaml will be installed:
        binaries.................. /apps/brussel/ivybridge/software/OCaml/4.01.0-intel-2014b/bin
        standard library.......... /apps/brussel/ivybridge/software/OCaml/4.01.0-intel-2014b/lib/ocaml
        manual pages.............. /apps/brussel/ivybridge/software/OCaml/4.01.0-intel-2014b/man (with extension .1)
Configuration for the bytecode compiler:
        C compiler used........... icc -O2 -xHOST -ftz -fp-speculation=safe -fp-model source
        options for compiling.....  -D_FILE_OFFSET_BITS=64 -D_REENTRANT
        options for linking.......  -Wl,-E  -lm  -lcurses -lpthread
        shared libraries are supported
        options for compiling..... -fPIC  -D_FILE_OFFSET_BITS=64 -D_REENTRANT
        command for building...... icc -O2 -xHOST -ftz -fp-speculation=safe -fp-model source -shared -o lib.so -Wl,-rpath,/a/path objs
Configuration for the native-code compiler:
        hardware architecture..... amd64
        OS variant................ linux
        C compiler used........... icc -O2 -xHOST -ftz -fp-speculation=safe -fp-model source
        options for compiling.....  -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 graph labltk
Configuration for the "num" library:
        target architecture ...... amd64 (asm level 1)
Configuration for the "graph" library:
        options for compiling ....
        options for linking ...... -lX11
Configuration for the "labltk" library:
        use tcl/tk version ....... 8.5
        options for compiling ....
        options for linking ......  -ltk8.5 -ltcl8.5  -lX11

** OCaml configuration completed successfully **