diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-24 11:45:42 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-24 11:45:42 +0000 |
| commit | b9e793eef135bd411c9945f0b1ba99308d9edbd5 (patch) | |
| tree | a175d94156747110e6b933fb1345fd714cbcbadd /Makefile | |
| parent | 18640c782f216e6e62e25ce24b6061ad93703cf6 (diff) | |
| download | vericert-b9e793eef135bd411c9945f0b1ba99308d9edbd5.tar.gz vericert-b9e793eef135bd411c9945f0b1ba99308d9edbd5.zip | |
Force _CoqProject generation and fix namespaces
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -8,10 +8,7 @@ endif COMPCERTRECDIRS := lib common verilog backend cfrontend driver cparser -COQINCLUDES := -R src/common vericert.common \ - -R src/extraction vericert.extraction \ - -R src/hls vericert.hls \ - -R src vericert \ +COQINCLUDES := -R src vericert \ $(foreach d, $(COMPCERTRECDIRS), -R lib/CompCert/$(d) compcert.$(d)) \ -R lib/CompCert/flocq Flocq \ -R lib/CompCert/MenhirLib MenhirLib @@ -74,7 +71,7 @@ src/extraction/STAMP: @$(COQEXEC) ./src/extraction/Extraction.v @touch $@ -Makefile.coq: force +Makefile.coq _CoqProject: force @echo "COQMAKE Makefile.coq" $(COQBIN)coq_makefile $(COQINCLUDES) $(VS) -o Makefile.coq echo "$(COQINCLUDES)" >_CoqProject |