diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-30 09:06:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-30 09:06:02 +0200 |
commit | b98aadd213f2a4ef79e9848d917da78b55b19df2 (patch) | |
tree | b74c3effb546c79662ed878c8e8bcf1125c09c30 /debugger | |
parent | a0e118ab19c6221f843d13de68c1dea284e0992c (diff) | |
parent | 976e69d3cd54a65d84cacb8e2a8d792c9e1093ea (diff) | |
download | ocaml-b98aadd213f2a4ef79e9848d917da78b55b19df2.tar.gz |
Merge pull request #11126 from shindere/ocamldep
Build system: make it possible to choose which ocamldep (and flags) to use
Diffstat (limited to 'debugger')
-rw-r--r-- | debugger/Makefile | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 487001916d..7712bea0a2 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -25,9 +25,7 @@ CAMLC=$(BEST_OCAMLC) -g -nostdlib -I $(ROOTDIR)/stdlib 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) -CAMLDEP=$(BEST_OCAMLDEP) -DEPFLAGS=-slash -DEPINCLUDES=$(INCLUDES) +OC_OCAMLDEPDIRS = $(DIRECTORIES) DIRECTORIES=$(UNIXDIR) $(DYNLINKDIR) $(addprefix $(ROOTDIR)/,\ utils parsing typing bytecomp toplevel driver file_formats lambda) @@ -80,8 +78,8 @@ ocamldebug_entry.cmo: ocamldebug_entry.ml ocamldebug.cmo $(CAMLC) -c $(COMPFLAGS) -for-pack ocamldebug $< depend: beforedepend - $(CAMLDEP) $(DEPFLAGS) $(DEPINCLUDES) *.mli *.ml \ - | sed -e 's,$(UNIXDIR)/,$$(UNIXDIR)/,' > .depend + $(OCAMLDEP_CMD) \ + *.mli *.ml | sed -e 's,$(UNIXDIR)/,$$(UNIXDIR)/,' > .depend clean:: rm -f debugger_lexer.ml |