summaryrefslogtreecommitdiff
path: root/lex
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-03-14 20:43:59 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-03-22 18:12:02 +0100
commit3a96f253cf76691ee8aa53090e4d7e710c4aeb0a (patch)
tree875aff177c897ae6a75c3588c050e353998cbb34 /lex
parent1028c6932706880eaf1167710abeac6598d4d54d (diff)
downloadocaml-3a96f253cf76691ee8aa53090e4d7e710c4aeb0a.tar.gz
Build system: normalize the invocations of ocamldep
Diffstat (limited to 'lex')
-rw-r--r--lex/Makefile7
1 files changed, 4 insertions, 3 deletions
diff --git a/lex/Makefile b/lex/Makefile
index 815873f91d..471afdf956 100644
--- a/lex/Makefile
+++ b/lex/Makefile
@@ -32,8 +32,8 @@ CAMLOPT = $(OCAMLRUN) $(ROOTDIR)/ocamlopt$(EXE) -nostdlib -I $(ROOTDIR)/stdlib
COMPFLAGS = -absname -w +a-4-9-41-42-44-45-48-70 -warn-error +A \
-safe-string -strict-sequence -strict-formats -bin-annot
LINKFLAGS =
-CAMLDEP = $(BOOT_OCAMLC) -depend
-DEPFLAGS = -slash
+OCAMLDEP = $(BOOT_OCAMLC) -depend
+OC_OCAMLDEPFLAGS = -slash
DEPINCLUDES =
OBJS=cset.cmo syntax.cmo parser.cmo lexer.cmo table.cmo lexgen.cmo \
@@ -81,6 +81,7 @@ beforedepend:: lexer.ml
$(CAMLOPT) -c $(COMPFLAGS) $<
depend: beforedepend
- $(CAMLDEP) $(DEPFLAGS) $(DEPINCLUDES) *.mli *.ml > .depend
+ $(OCAMLDEP) $(OC_OCAMLDEPFLAGS) $(OCAMLDEPFLAGS) $(DEPINCLUDES) \
+ *.mli *.ml > .depend
include .depend