Parcourir la source

chore: Fix CI

parazyd il y a 1 an
Parent
commit
67456c5b27
1 fichiers modifiés avec 4 ajouts et 1 suppressions
  1. 4 1
      Makefile

+ 4 - 1
Makefile

@@ -12,7 +12,10 @@ RUST_TARGET = $(shell rustc -Vv | grep '^host: ' | cut -d' ' -f2)
 #RUSTFLAGS = -C target-feature=+crt-static -C link-self-contained=yes
 #RUSTFLAGS = -C target-feature=+crt-static -C link-self-contained=yes
 
 
 # List of zkas circuits to compile, used for tests
 # List of zkas circuits to compile, used for tests
-PROOFS_SRC = $(shell find proof -type f -name '*.zk')
+PROOFS_SRC = \
+	$(shell find proof -type f -name '*.zk') \
+	$(shell find bin/darkirc/proof -type f -name '*.zk')
+
 PROOFS_BIN = $(PROOFS_SRC:=.bin)
 PROOFS_BIN = $(PROOFS_SRC:=.bin)
 
 
 # List of all binaries built
 # List of all binaries built