Răsfoiți Sursa

daod: makefile auto compile zk files in proof/

narodnik 4 ani în urmă
părinte
comite
173d759c05
1 a modificat fișierele cu 8 adăugiri și 2 ștergeri
  1. 8 2
      bin/daod/Makefile

+ 8 - 2
bin/daod/Makefile

@@ -1,3 +1,9 @@
-daod:
-	zkas proof/dao-mint.zk
+ZK_SRC_FILES := $(wildcard proof/*.zk)
+ZK_BIN_FILES := $(patsubst proof/%.zk, proof/%.zk.bin, $(ZK_SRC_FILES))
+
+daod: $(ZK_BIN_FILES)
 	cargo run
+
+proof/%.zk.bin: proof/%.zk
+	zkas $<
+