From f7571ce6c3b55659289b21ad9c010a86cdeac972 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 27 Feb 2022 02:18:44 +0100
Subject: [PATCH] add makefile for deps

---
 Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..382f562
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,13 @@
+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