From 6991ca767e76e639c19a2bbed889fe4b7a9da77b Mon Sep 17 00:00:00 2001
From: Stephen Paul Weber <singpolyma@singpolyma.net>
Date: Mon, 8 Aug 2011 23:32:46 -0500
Subject: example script and Makefile

---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..20e769f
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,8 @@
+GHCFLAGS=-Wall -XNoCPP -fno-warn-name-shadowing -XHaskell98
+
+verify: examples/verify.hs
+	ghc --make $(GHCFLAGS) -o $@ $^
+
+clean:
+	find -name '*.o' -o -name '*.hi' | xargs $(RM)
+	$(RM) verify
-- 
cgit v1.2.3