diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..dd1db2f --- /dev/null +++ b/Makefile @@ -0,0 +1,23 @@ +VS:=$(shell find . -type f -name '*.v') + +.PHONY: coq clean force + +coq: Makefile.coq.all $(VS) + $(MAKE) -f Makefile.coq.all + +Makefile.coq.all: force + @echo "GEN $@" + @$(COQBIN)coq_makefile -f _CoqProject $(VS) -o Makefile.coq.all + +force: + +clean:: Makefile.coq.all + $(MAKE) -f Makefile.coq.all clean + rm -rf *.v.d *.glob *.vo *~ *.hi *.o + rm -f Makefile.coq.all Makefile.coq.all.conf + +install: Makefile.coq.all + $(MAKE) -f Makefile.coq.all install + +uninstall: Makefile.coq.all + $(MAKE) -f Makefile.coq.all uninstall |