From 8521ff30fa618ebf793e35421ed94d18971d888e Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Wed, 19 Feb 2020 17:15:14 +0300 Subject: [PATCH] Pre-sources --- src/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Makefile b/src/Makefile index d44eb43b1..78958bc9b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -2,7 +2,8 @@ TOPFILE = lamac OCAMLC = ocamlfind c OCAMLOPT = ocamlfind opt OCAMLDEP = ocamlfind dep -SOURCES = version.ml stdpath.ml Language.ml SM.ml X86.ml Driver.ml +PRE_SOURCES = Language.ml SM.ml X86.ml Driver.ml +SOURCES = version.ml stdpath.ml $(PRE_SOURCES) CAMLP5 = -syntax camlp5o -package ostap.syntax,GT.syntax.all PXFLAGS = $(CAMLP5) BFLAGS = -rectypes -g @@ -14,7 +15,7 @@ metagen: echo "let version = \"Version `git rev-parse --abbrev-ref HEAD`, `git rev-parse --short HEAD`, `git rev-parse --verify HEAD |git show --no-patch --no-notes --pretty='%cd'`\"" > version.ml echo "let path = \"`opam var share`/Lama\"" > stdpath.ml -.depend: $(SOURCES) +.depend: $(PRE_SOURCES) $(OCAMLDEP) $(PXFLAGS) *.ml > .depend $(TOPFILE): $(SOURCES:.ml=.cmx)