From 4cbe88496cdaf37827ae546b3f5438c7f8e679e9 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 24 Apr 2022 17:20:08 +0200
Subject: [PATCH] remove old broken makefile

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

diff --git a/Makefile b/Makefile
deleted file mode 100644
index 382f562..0000000
--- a/Makefile
+++ /dev/null
@@ -1,13 +0,0 @@
-DEPS := prettier elab-util hedgehog
-
-
-.PHONY: all
-all: build
-
-.PHONY: $(DEPS)
-$(DEPS): %:
-	idris2 --install vendor/$@/$@.ipkg
-
-.PHONY: build
-build: $(DEPS) $(shell find src -name '*.idr')
-	idris2 --build quix.ipkg