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