diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2016-06-16 23:24:47 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2016-06-16 23:24:47 +0200 |
| commit | dd3db844dd49451f28d044cd1d2fd71430d73686 (patch) | |
| tree | cd76d7ad6efbf2d2e4760695d39cb48bb479a936 /Makefile | |
Initial
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..6d4ca8f --- /dev/null +++ b/Makefile @@ -0,0 +1,16 @@ +BIN = main + +hs_files = $(wildcard *.hs) + +.PHONY: all clean remake + +all: $(BIN) + +clean: + rm -f *.hi *.o $(BIN) + +remake: clean all + + +$(BIN): $(hs_files) + ghc -O3 -o $(BIN) $^ |