diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-10-04 15:29:43 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-10-04 15:29:43 +0100 |
commit | a3add6681ba4a3947420553f66f488ff1fb8e943 (patch) | |
tree | 02cc9fa6f80d3e337ebdc8f7c73b3e0b63268c67 | |
parent | 49a2d62e18ae741a0bee6ca8404b261d7780a3eb (diff) | |
download | pred-aware-ai-a3add6681ba4a3947420553f66f488ff1fb8e943.tar.gz pred-aware-ai-a3add6681ba4a3947420553f66f488ff1fb8e943.zip |
Update the make filemain
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -5,7 +5,7 @@ COQINCLUDES := -Q . predaware \ -R ../vericert/lib/CompCert/flocq Flocq \ -R ../vericert/lib/CompCert/MenhirLib MenhirLib -COQMAKE := $(COQBIN)coq_makefile +COQMAKE := coq_makefile VS := Main.v @@ -20,9 +20,11 @@ Main.v: main.org @echo "CONTEXT" $< @context $< -Makefile.coq _CoqProject: force +Makefile.coq: force @echo "COQMAKE Makefile.coq" @$(COQMAKE) $(COQINCLUDES) $(VS) -o Makefile.coq + +_CoqProject: force @echo "CREATE _CoqProject" @echo "$(COQINCLUDES)" >_CoqProject |