aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authortomsmeding <hallo@tomsmeding.nl>2015-09-16 07:28:20 +0200
committertomsmeding <hallo@tomsmeding.nl>2015-09-16 07:28:20 +0200
commit90747203d25ea6983584841947f3b0df3baeca93 (patch)
treeb60d260d1e27328e7a125fbfc24197e66c10df94 /Makefile
parent36227b801cfb57685a9d3ee00978f2c8d851fe88 (diff)
Add Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile11
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..895f50b
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,11 @@
+.PHONY: all clean remake
+
+all: rip
+
+clean:
+ rm -f rip *.hi *.o
+
+remake: clean all
+
+rip: rip.hs
+ ghc -O3 rip.hs