code reorg, makefile, namespace

vzaliva · Sep 27, 2018 · 7cb1c60 · 7cb1c60
1 parent d2c84b3
commit 7cb1c60
Show file tree

Hide file tree

Showing 5 changed files with 30 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -29,3 +29,6 @@ nia.cache
 nlia.cache
 nra.cache
 /README.html
+/.coqdeps.d
+/Makefile.coq
+/Makefile.coq.conf
diff --git a/Makefile b/Makefile
@@ -0,0 +1,22 @@
+all: Makefile.coq
+	$(MAKE) -f Makefile.coq
+
+.PHONY: all install html clean distclean
+
+install: Makefile.coq
+	$(MAKE) -f Makefile.coq install
+
+html: all
+	$(MAKE) -f Makefile.coq html
+
+clean: Makefile.coq
+	$(MAKE) -f Makefile.coq clean
+
+distclean: clean
+	rm -rf Makefile.coq .merlin Makefile.coq.conf
+
+Makefile.coq: _CoqProject
+	coq_makefile -f _CoqProject -o Makefile.coq
+
+.merlin: Makefile.coq
+	$(MAKE) -f Makefile.coq .merlin
diff --git a/_CoqProject b/_CoqProject
@@ -0,0 +1,4 @@
+-R theories Switch
+
+theories/Switch.v
+
diff --git a/demo.v b/demo.v
@@ -1,4 +1,4 @@
-Require Import switch.
+Require Import Switch.Switch.
 
 Require Import Coq.Arith.EqNat.
 Require Import Coq.Strings.String.

diff --git a/switch.v → theories/Switch.v b/switch.v → theories/Switch.v