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

---
 .gitignore |  3 ---
 Makefile   | 17 -----------------
 2 files changed, 20 deletions(-)
 delete mode 100644 Makefile

diff --git a/.gitignore b/.gitignore
index efda63e..6a123fa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,3 @@
-lisp
-*.hi
-*.o
 .stack-work/
 .cabal-sandbox
 cabal.sandbox.config
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-70-g09d2