Makefile 455 B

1234567891011121314151617181920212223242526
  1. .POSIX:
  2. # Cargo binary
  3. CARGO = cargo
  4. # Compile target
  5. RUST_TARGET = $(shell rustc -Vv | grep '^host: ' | cut -d' ' -f2)
  6. PROOFS_SRC = signal.zk slash.zk
  7. PROOFS_BIN = $(PROOFS_SRC:=.bin)
  8. ZKAS = ../../../../zkas
  9. all: $(PROOFS_BIN)
  10. $(CARGO) run --target=$(RUST_TARGET) --release
  11. $(ZKAS):
  12. $(MAKE) -C ../../../../zkas
  13. $(PROOFS_BIN): $(ZKAS) $(PROOFS_SRC)
  14. $(ZKAS) $(basename $@) -o $@
  15. clean:
  16. rm -rf target $(PROOFS_BIN) Cargo.lock
  17. .PHONY: all clean