diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-05-24 15:09:40 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-19 10:03:00 +0200 |
| commit | 967ff73a613aa96269f4ca68889a4ffa0439f39c (patch) | |
| tree | 23ce34ab37f656f0877097f89e4fa33cc265091b /ocamldoc/Makefile | |
| parent | 1f24841da699e66023e72d75cb8ca6603c7fca25 (diff) | |
| download | ocaml-remove-libnum.tar.gz | |
Remove otherlibs/numremove-libnum
Continuing a general effort, this commit removes the "num" library for arbitrary-precision arithmetic from the core OCaml system. A standalone distribution of this library already exists and is hosted at https://github.com/ocaml/num
Diffstat (limited to 'ocamldoc/Makefile')
| -rw-r--r-- | ocamldoc/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 3abed19dec..dd45b59f46 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -110,7 +110,6 @@ INCLUDES_NODEP=\ -I $(ROOTDIR)/otherlibs/str \ -I $(ROOTDIR)/otherlibs/dynlink \ -I $(ROOTDIR)/otherlibs/$(UNIXLIB) \ - -I $(ROOTDIR)/otherlibs/num \ -I $(ROOTDIR)/otherlibs/$(GRAPHLIB) INCLUDES=$(INCLUDES_DEP) $(INCLUDES_NODEP) @@ -185,8 +184,7 @@ STDLIB_MLIS=\ ../parsing/*.mli \ ../otherlibs/$(UNIXLIB)/unix.mli \ ../otherlibs/str/str.mli \ - ../otherlibs/bigarray/bigarray.mli \ - ../otherlibs/num/num.mli + ../otherlibs/bigarray/bigarray.mli .PHONY: all all: lib exe generators manpages |