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 /debugger | |
| parent | b98aadd213f2a4ef79e9848d917da78b55b19df2 (diff) | |
| download | ocaml-8ce1bf36874f702f5344ffaec6996deeb4d32689.tar.gz | |
Factorize the definition of the standard library flags
Diffstat (limited to 'debugger')
| -rw-r--r-- | debugger/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 7712bea0a2..45556a241d 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -21,7 +21,7 @@ include $(ROOTDIR)/Makefile.best_binaries DYNLINKDIR=$(ROOTDIR)/otherlibs/dynlink UNIXDIR=$(ROOTDIR)/otherlibs/$(UNIXLIB) -CAMLC=$(BEST_OCAMLC) -g -nostdlib -I $(ROOTDIR)/stdlib +CAMLC=$(BEST_OCAMLC) $(STDLIBFLAGS) -g COMPFLAGS=$(INCLUDES) -absname -w +a-4-9-41-42-44-45-48-70 -warn-error +A \ -safe-string -strict-sequence -strict-formats LINKFLAGS=-linkall -I $(UNIXDIR) -I $(DYNLINKDIR) |