diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-07-30 12:15:25 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-30 12:15:25 +0100 |
| commit | 49a96071161112d9c2c1e99d0d591275a825c992 (patch) | |
| tree | e158ae1bb08c3822a31b6b196d77ef82253d96a5 /Makefile | |
| parent | 4215c5e2a6259e459a70c1207b2cdacdb2231e36 (diff) | |
| download | pred-aware-ai-49a96071161112d9c2c1e99d0d591275a825c992.tar.gz pred-aware-ai-49a96071161112d9c2c1e99d0d591275a825c992.zip | |
Add a Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..bb42417 --- /dev/null +++ b/Makefile @@ -0,0 +1,25 @@ +COMPCERTRECDIRS := lib common verilog backend cfrontend driver cparser +COQINCLUDES := -Q . predaware \ + -R ../vericert/src vericert \ + $(foreach d, $(COMPCERTRECDIRS), -R ../vericert/lib/CompCert/$(d) compcert.$(d)) \ + -R ../vericert/lib/CompCert/flocq Flocq \ + -R ../vericert/lib/CompCert/MenhirLib MenhirLib + +COQMAKE := $(COQBIN)coq_makefile + +VS := Main.v + +all: Makefile.coq _CoqProject + $(MAKE) -f Makefile.coq + +Makefile.coq _CoqProject: force + @echo "COQMAKE Makefile.coq" + $(COQMAKE) $(COQINCLUDES) $(VS) -o Makefile.coq + echo "$(COQINCLUDES)" >_CoqProject + +force: + +clean: + git clean -dfx + +.PHONY: force all clean |