1 files changed, 8 insertions, 0 deletions

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