SHARE
TWEET

Untitled

a guest Feb 16th, 2019 87 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Configuring for a armv6l-unknown-linux-gnueabihf ...
  2. gcc found
  3. The C compiler is ANSI-compliant.
  4. Checking the sizes of integers and pointers...
  5. OK, this is a regular 32 bit architecture.
  6. 64-bit "long long" integer type found (printf with "%ll").
  7. This is a little-endian architecture.
  8. Doubles must be doubleword-aligned.
  9. 64-bit integers must be doubleword-aligned.
  10. Native division and modulus have round-towards-zero semantics, will use them.
  11. ranlib found
  12. #! appears to work in shell scripts
  13. POSIX signal handling found.
  14. expm1(), log1p(), hypot(), copysign() found.
  15. getrusage() found.
  16. times() found.
  17. You have BSD sockets.
  18. socklen_t is defined in <sys/socket.h>
  19. inet_aton() found.
  20. IPv6 is supported.
  21. unistd.h found.
  22. off_t is defined in <sys/types.h>
  23. dirent.h found.
  24. rewinddir() found.
  25. lockf() found.
  26. mkfifo() found.
  27. getcwd() found.
  28. getwd() found.
  29. getpriority() found.
  30. utime() found.
  31. utimes() found.
  32. dup2() found.
  33. fchmod() found.
  34. truncate() found.
  35. sys/select.h found.
  36. select() found.
  37. symlink() found.
  38. waitpid() found.
  39. wait4() found.
  40. getgroups() found.
  41. setgroups() found.
  42. initgroups() found.
  43. POSIX termios found.
  44. Asynchronous I/O are supported.
  45. setitimer() found.
  46. gethostname() found.
  47. uname() found.
  48. gettimeofday() found.
  49. mktime() found.
  50. setsid() found.
  51. putenv() found.
  52. setlocale() and <locale.h> found.
  53. dlopen() found in -ldl.
  54. Dynamic loading of shared libraries is supported.
  55. mmap() found.
  56. pwrite() found
  57. gethostbyname_r() found (with 6 arguments).
  58. gethostbyaddr_r() found (with 8 arguments).
  59. Replay debugger supported.
  60. Cannot detect system stack overflow.
  61. POSIX threads library supported.
  62. Options for linking with POSIX threads: -lpthread
  63. sigwait() found
  64. Bytecode threads library supported.
  65. X11 works
  66. Options for compiling for X11:  
  67. Options for linking with X11: -lX11  
  68. Configuring LablTk...
  69. tcl.h and tk.h version 8.5 found with "-I/usr/include/tcl8.5 -I/usr/include/tk8.5".
  70. Tcl/Tk libraries found.
  71. BFD library found.
  72. Assembler supports CFI
  73.  
  74. ** Configuration summary **
  75.  
  76. Directories where OCaml will be installed:
  77.         binaries.................. /usr/local/bin
  78.         standard library.......... /usr/local/lib/ocaml
  79.         manual pages.............. /usr/local/man (with extension .1)
  80. Configuration for the bytecode compiler:
  81.         C compiler used........... gcc
  82.         options for compiling..... -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
  83.         options for linking.......  -Wl,-E  -lm  -ldl  -lpthread
  84.         shared libraries are supported
  85.         options for compiling..... -fPIC -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
  86.         command for building...... gcc -shared -o lib.so -Wl,-rpath,/a/path objs
  87. Configuration for the native-code compiler:
  88.         hardware architecture..... arm
  89.         OS variant................ linux_eabihf
  90.         C compiler used........... gcc
  91.         options for compiling..... -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
  92.         options for linking.......   -lm
  93.         assembler ................ as
  94.         preprocessed assembler ... gcc -c
  95.         assembler supports CFI ... yes
  96.         native dynlink ........... true
  97.         profiling with gprof ..... supported
  98. Source-level replay debugger: supported
  99. Additional libraries supported:
  100.         unix str num dynlink bigarray systhreads threads graph labltk
  101. Configuration for the "num" library:
  102.         target architecture ...... generic (asm level 0)
  103. Configuration for the "graph" library:
  104.         options for compiling ....  
  105.         options for linking ...... -lX11  
  106. Configuration for the "labltk" library:
  107.         use tcl/tk version ....... 8.5
  108.         options for compiling .... -I/usr/include/tcl8.5 -I/usr/include/tk8.5  
  109.         options for linking ......  -ltk8.5 -ltcl8.5  -ldl -lX11  
  110.  
  111. ** OCaml configuration completed successfully **
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top