diff options
Diffstat (limited to 'snapshots/coq-riscv/bbv/Makefile')
| -rw-r--r-- | snapshots/coq-riscv/bbv/Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/snapshots/coq-riscv/bbv/Makefile b/snapshots/coq-riscv/bbv/Makefile new file mode 100644 index 00000000..f877aedf --- /dev/null +++ b/snapshots/coq-riscv/bbv/Makefile @@ -0,0 +1,26 @@ +default_target: all + +COQMAKEFILE=$(COQBIN)coq_makefile + +all: Makefile.coq + $(MAKE) -f Makefile.coq + +doc: all + $(MAKE) -f Makefile.coq html + +html: doc + +clean: Makefile.coq + $(MAKE) -f Makefile.coq clean + rm -f Makefile.coq Makefile.coq.conf _CoqProject + +install: Makefile.coq + $(MAKE) -f Makefile.coq install + +Makefile.coq: _CoqProject + $(COQMAKEFILE) -f _CoqProject -o Makefile.coq + +_CoqProject:: + rm -f _CoqProject + echo "-Q theories bbv" > _CoqProject + find theories -type f -name '*.v' | sort >> _CoqProject |