diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-12-09 10:48:58 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-12-09 10:48:58 +0100 |
| commit | 897fb17dd6a045a7056e6d6babbbb24748f698f6 (patch) | |
| tree | 65f0659483ba2239d07e30b3547379625f5b5cae /Makefile | |
Initial
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..f053d5f --- /dev/null +++ b/Makefile @@ -0,0 +1,17 @@ +GHC = ghc +GHCFLAGS = -O3 -Wall +TARGET = lisp + +OBJDIR = obj + +.PHONY: all clean + +all: $(TARGET) + +clean: + rm -f $(TARGET) + rm -rf obj + +$(TARGET): $(wildcard *.hs) + @mkdir -p $(OBJDIR) + $(GHC) -o $@ $(GHCFLAGS) $^ -hidir $(OBJDIR) -odir $(OBJDIR) |