add makefile for deps

2022-02-27 02:18:44 +01:00 · 2022-02-27 02:18:44 +01:00 · f7571ce6c3
parent 071704076e
commit f7571ce6c3
1 changed files with 13 additions and 0 deletions
--- a/13
+++ b/13
@ -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