Update otherlibraries description

master
David Allsopp 2018-12-04 11:02:41 +00:00
parent b1c78c041f
commit 998019d68b
1 changed files with 8 additions and 5 deletions

View File

@ -156,11 +156,14 @@ INSTALL_BYTECODE_PROGRAMS=@install_bytecode_programs@
### Which libraries to compile and install
# Currently available:
# unix Unix system calls
# str Regular expressions and high-level string processing
# systhreads Same as threads, requires POSIX threads
# dynlink Dynamic linking of bytecode
# bigarray Large, multidimensional numerical arrays
# bigarray Large, multidimensional numerical arrays
# (legacy support: this library is now part of the
# Standard Library)
# dynlink Dynamic linking (bytecode and native)
# (win32)unix Unix system calls
# str Regular expressions and high-level string processing
# raw_spacetime_lib Parsing of spacetime traces
# systhreads Same as threads, requires POSIX threads
OTHERLIBRARIES=@otherlibraries@
### Link-time options to ocamlc or ocamlopt for linking with POSIX threads