diff options
Diffstat (limited to 'vendor/Ltac2/Makefile')
| -rw-r--r-- | vendor/Ltac2/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/vendor/Ltac2/Makefile b/vendor/Ltac2/Makefile new file mode 100644 index 0000000000..e0e197650d --- /dev/null +++ b/vendor/Ltac2/Makefile @@ -0,0 +1,14 @@ +ifeq "$(COQBIN)" "" + COQBIN=$(dir $(shell which coqtop))/ +endif + +%: Makefile.coq + +Makefile.coq: _CoqProject + $(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq + +tests: all + @$(MAKE) -C tests -s clean + @$(MAKE) -C tests -s all + +-include Makefile.coq |