diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:32:44 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:32:44 +0000 |
commit | 63d06d167193107fab60db9552dd8ea7c985af7c (patch) | |
tree | 788dfba92ecce2c18051170556c67f7abddc46bf /Makefile | |
parent | f7401188640f8f6726b933e0421400419b62c9b2 (diff) | |
download | biteq-63d06d167193107fab60db9552dd8ea7c985af7c.tar.gz biteq-63d06d167193107fab60db9552dd8ea7c985af7c.zip |
Add initial development files
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 |