diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-31 07:39:44 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-31 07:39:44 +0200 |
commit | 8ce1bf36874f702f5344ffaec6996deeb4d32689 (patch) | |
tree | d8badbabb0c79c08b2229a128536737e38791b5f /ocamldoc/Makefile | |
parent | b98aadd213f2a4ef79e9848d917da78b55b19df2 (diff) | |
download | ocaml-8ce1bf36874f702f5344ffaec6996deeb4d32689.tar.gz |
Factorize the definition of the standard library flags
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 9bcbc81a83..ee8cf8d0e6 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -20,7 +20,6 @@ include $(ROOTDIR)/Makefile.best_binaries OCAMLYACCFLAGS = --strict -v -STDLIBFLAGS = -nostdlib -I $(ROOTDIR)/stdlib OCAMLC = $(BEST_OCAMLC) $(STDLIBFLAGS) OCAMLOPT = $(BEST_OCAMLOPT) $(STDLIBFLAGS) @@ -58,7 +57,7 @@ INCLUDE_DIRS = $(addprefix $(ROOTDIR)/,\ utils parsing typing driver bytecomp toplevel) INCLUDES_DEP = $(addprefix -I ,$(INCLUDE_DIRS)) INCLUDES_NODEP = $(addprefix -I $(ROOTDIR)/,\ - stdlib compilerlibs otherlibs/str otherlibs/dynlink \ + compilerlibs otherlibs/str otherlibs/dynlink \ otherlibs/dynlink/native otherlibs/$(UNIXLIB)) OC_OCAMLDEPDIRS = $(INCLUDE_DIRS) @@ -67,7 +66,7 @@ INCLUDES=$(INCLUDES_DEP) $(INCLUDES_NODEP) COMPFLAGS=$(INCLUDES) -absname -w +a-4-9-41-42-44-45-48-70 -warn-error +A \ -safe-string -strict-sequence -strict-formats -bin-annot -principal -LINKFLAGS=$(INCLUDES) -nostdlib +LINKFLAGS = $(INCLUDES) CMOFILES=\ odoc_config.cmo \ |