Simple build setup

jashug · Oct 20, 2020 · 67262f8 · 67262f8
1 parent ad52b09
commit 67262f8
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,11 @@ paper/*.synctex.gz
 paper/*.vtc
 paper/whynotw.pdf
 
+code/Makefile.coq
+code/Makefile.coq.conf
+code/.Makefile.coq.d
+code/*.vo
+code/*.vok
+code/*.vos
+code/*.glob
+code/.*.aux
diff --git a/code/Makefile b/code/Makefile
@@ -0,0 +1,16 @@
+all: Makefile.coq
+	@+$(MAKE) -f Makefile.coq all
+
+clean: Makefile.coq
+	@+$(MAKE) -f Makefile.coq cleanall
+	@rm -f Makefile.coq Makefile.coq.conf
+
+Makefile.coq: _CoqProject
+	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
+
+force _CoqProject Makefile: ;
+
+%: Makefile.coq force
+	@+$(MAKE) -f Makefile.coq $@
+
+.PHONY: all clean force
diff --git a/code/_CoqProject b/code/_CoqProject
@@ -0,0 +1,3 @@
+-Q . WhyNotW
+Nat.v
+General.v