SHARE
TWEET

Untitled

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