Makefile 802 B

123456789101112131415161718192021222324252627282930313233343536
  1. .POSIX:
  2. # Path to the zkas compiler (or just `zkas` if it's in your $PATH)
  3. ZKAS = ../darkfi/zkas
  4. # Path to cargo
  5. CARGO = cargo
  6. # List of zkas circuits to compile
  7. PROOFS_SRC = $(shell find proof -type f -name '*.zk')
  8. PROOFS_BIN = $(PROOFS_SRC:=.bin)
  9. # Source files
  10. SRC = \
  11. Cargo.toml \
  12. $(PROOFS_SRC) \
  13. $(shell find src -type f -name '*.rs')
  14. all: membership.wasm membership
  15. membership.wasm: $(PROOFS_BIN) $(SRC)
  16. $(CARGO) build --target=wasm32-unknown-unknown --release --lib
  17. cp -f target/wasm32-unknown-unknown/release/$@ $@
  18. membership: $(PROOFS_BIN)
  19. $(CARGO) build --release --features=client --bin membership
  20. cp -f target/release/$@ $@
  21. $(PROOFS_BIN): $(PROOFS_SRC)
  22. $(ZKAS) $(basename $@) -o $@
  23. clean:
  24. $(CARGO) clean
  25. rm -f $(PROOFS_BIN) membership membership.wasm
  26. .PHONY: all clean