diff options
author | Jed Barber <jjbarber@y7mail.com> | 2014-02-09 16:38:34 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2014-02-09 16:38:34 +1100 |
commit | 9b346259852462025699cda34dec63d129f763ed (patch) | |
tree | 9442448fa492202406c640d90ad6d922f8b2c37a | |
parent | a3698556e2ca36f66d26b1fc00ec3786ed210be0 (diff) |
Added makefile
-rw-r--r-- | makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..4a9f2a8 --- /dev/null +++ b/makefile @@ -0,0 +1,15 @@ + +OUTPUTDIR = ./bin + + + +all: test + +clean: + find . -name '*.hi' -delete + find . -name '*.o' -delete + + +test: + ghc --make ./test.hs -o ${OUTPUTDIR}/test + |