diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-03-31 10:46:11 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-31 10:46:11 +0100 |
| commit | d033047de9bdcd90e79cd8f5316cdd0dd54788df (patch) | |
| tree | a499a33499c2f2732bf0010e21e83b99ecab0bbb /Makefile | |
| parent | 0695114f5f1b758177d2e43989be5432710db6a5 (diff) | |
| download | vericert-d033047de9bdcd90e79cd8f5316cdd0dd54788df.tar.gz vericert-d033047de9bdcd90e79cd8f5316cdd0dd54788df.zip | |
Fix Makefile build
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -3,13 +3,16 @@ COMPCERTRECDIRS := lib common x86_64 x86 backend cfrontend driver flocq exportcl COMPCERTCOQINCLUDES := $(foreach d, $(COMPCERTRECDIRS), -R lib/CompCert/$(d) compcert.$(d)) -COQINCLUDES := -R src/common coqup.common -R src/verilog coqup.verilog -R src/extraction coqup.extraction -R src/translation coqup.translation $(COMPCERTCOQINCLUDES) +COQINCLUDES := -R src/common coqup.common -R src/verilog coqup.verilog \ + -R src/extraction coqup.extraction -R src/translation coqup.translation \ + -R src coqup $(COMPCERTCOQINCLUDES) COQEXEC := $(COQBIN)coqtop $(COQINCLUDES) -batch -load-vernac-source COQMAKE := "$(COQBIN)coq_makefile" COQUPDIRS := translation common verilog -VS := $(foreach d, $(COQUPDIRS), src/$(d)/*.v) +VSSUBDIR := $(foreach d, $(COQUPDIRS), src/$(d)/*.v) +VS := src/Compiler.v $(VSSUBDIR) .PHONY: all install proof clean |