Remove references to the "num" library.

master
Xavier Clerc 2017-12-11 15:28:38 +00:00
parent 7a7bf0580d
commit 015d158ec7
2 changed files with 1 additions and 5 deletions

View File

@ -25,9 +25,6 @@ B ./otherlibs/dynlink
S ./otherlibs/graph
B ./otherlibs/graph
S ./otherlibs/num
B ./otherlibs/num
S ./otherlibs/str
B ./otherlibs/str

View File

@ -172,14 +172,13 @@ RANLIBCMD=ranlib
# Currently available:
# unix Unix system calls
# str Regular expressions and high-level string processing
# num Arbitrary-precision rational arithmetic
# threads Lightweight concurrent processes
# systhreads Same as threads, requires POSIX threads
# graph Portable drawing primitives for X11
# dynlink Dynamic linking of bytecode
# bigarray Large, multidimensional numerical arrays
OTHERLIBRARIES=unix str num threads graph dynlink bigarray
OTHERLIBRARIES=unix str threads graph dynlink bigarray
### Link-time options to ocamlc or ocamlopt for linking with POSIX threads
# Needed for the "systhreads" package