Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Configuring for a armv6l-unknown-linux-gnueabihf ...
- gcc found
- The C compiler is ANSI-compliant.
- Checking the sizes of integers and pointers...
- OK, this is a regular 32 bit architecture.
- 64-bit "long long" integer type found (printf with "%ll").
- This is a little-endian architecture.
- Doubles must be doubleword-aligned.
- 64-bit integers must be doubleword-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.
- 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.
- pwrite() found
- gethostbyname_r() found (with 6 arguments).
- gethostbyaddr_r() found (with 8 arguments).
- Replay debugger supported.
- Cannot detect system stack overflow.
- 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: -lX11
- Configuring LablTk...
- tcl.h and tk.h version 8.5 found with "-I/usr/include/tcl8.5 -I/usr/include/tk8.5".
- Tcl/Tk libraries found.
- BFD library found.
- 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 -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..... arm
- OS variant................ linux_eabihf
- 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
- native dynlink ........... true
- profiling with gprof ..... supported
- Source-level replay debugger: supported
- Additional libraries supported:
- unix str num dynlink bigarray systhreads threads graph labltk
- Configuration for the "num" library:
- target architecture ...... generic (asm level 0)
- 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 .... -I/usr/include/tcl8.5 -I/usr/include/tk8.5
- options for linking ...... -ltk8.5 -ltcl8.5 -ldl -lX11
- ** OCaml configuration completed successfully **
Add Comment
Please, Sign In to add comment