From 572bda80e20165485779e9ccfc0242f85df30c31 Mon Sep 17 00:00:00 2001
From: tomsmeding <tom.smeding@gmail.com>
Date: Mon, 18 Nov 2019 19:31:45 +0100
Subject: Remove really outdated makefile

---
 Makefile | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
deleted file mode 100644
index f053d5f..0000000
--- a/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-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)
-- 
cgit v1.2.3-54-g00ecf