diff options
Diffstat (limited to 'snapshots/coq-riscv/bbv/Makefile')
| -rw-r--r-- | snapshots/coq-riscv/bbv/Makefile | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/snapshots/coq-riscv/bbv/Makefile b/snapshots/coq-riscv/bbv/Makefile deleted file mode 100644 index f877aedf..00000000 --- a/snapshots/coq-riscv/bbv/Makefile +++ /dev/null @@ -1,26 +0,0 @@ -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 |