Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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() and log1p() found.
- getrusage() found.
- times() found.
- termcap functions found (with libraries '-lcurses')
- You have BSD sockets.
- socklen_t is defined in <sys/socket.h>
- inet_aton() found.
- IPv6 is supported.
- unistd.h found.
- off_t is defined in <sys/types.h>
- 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 <locale.h> found.
- dlopen() found in -ldl.
- Dynamic loading of shared libraries is supported.
- mmap() 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.
- Location of X11 include files: /usr/include/X11
- Options for linking with X11: -lX11
- NDBM found (in /usr/include/gdbm)
- Configuring LablTk...
- tcl.h and tk.h version 8.5 found with "".
- Tcl/Tk libraries found.
- BFD library 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 -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
- 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 ....
- 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 -ldl
- ** Objective Caml configuration completed successfully **
Add Comment
Please, Sign In to add comment