summaryrefslogtreecommitdiff
path: root/lex/Makefile
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-03-18 11:05:17 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-03-22 18:12:02 +0100
commit4d0d02b247579df8b1965c54672386fc259ac53f (patch)
tree51bd230864ddb50f6fcb44dae3c186f2f9ec513f /lex/Makefile
parentdf4759a2205e85302fed1006e7509e73365cd4a1 (diff)
downloadocaml-4d0d02b247579df8b1965c54672386fc259ac53f.tar.gz
Build system: also factorize the inclusion of directories when calling ocamldep
Diffstat (limited to 'lex/Makefile')
-rw-r--r--lex/Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/lex/Makefile b/lex/Makefile
index d932e86b53..2b81c094ed 100644
--- a/lex/Makefile
+++ b/lex/Makefile
@@ -35,7 +35,6 @@ 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 =
-DEPINCLUDES =
OBJS=cset.cmo syntax.cmo parser.cmo lexer.cmo table.cmo lexgen.cmo \
compact.cmo common.cmo output.cmo outputbis.cmo main.cmo
@@ -82,6 +81,6 @@ beforedepend:: lexer.ml
$(CAMLOPT) -c $(COMPFLAGS) $<
depend: beforedepend
- $(OCAMLDEP_CMD) $(DEPINCLUDES) *.mli *.ml > .depend
+ $(OCAMLDEP_CMD) *.mli *.ml > .depend
include .depend