simplify compilation of the whole source
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 30 Jan 2014 07:07:29 +0000 (08:07 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 30 Jan 2014 07:07:29 +0000 (08:07 +0100)
Everything.agda [new file with mode: 0644]
Makefile [new file with mode: 0644]

diff --git a/Everything.agda b/Everything.agda
new file mode 100644 (file)
index 0000000..76beef6
--- /dev/null
@@ -0,0 +1,11 @@
+-- The sole purpose of this module is to ease compilation of everything.
+module Everything where
+
+import Generic
+import FinMap
+import CheckInsert
+import FreeTheorems
+import BFF
+import Bidir
+import LiftGet
+import Precond
diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..5dfe960
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,8 @@
+AGDA ?= agda
+AGDALIB ?= /usr/share/agda-stdlib
+
+all:Everything.agdai
+clean:
+       rm -f *.agdai
+Everything.agdai:$(wildcard *.agda)
+       $(AGDA) -i. -i$(AGDALIB) Everything.agda