remove corset flags from commands (#28)

Consensys · Sep 13, 2024 · 8f0b508 · 8f0b508
1 parent 3a0572a
commit 8f0b508
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/prover/Makefile b/prover/Makefile
@@ -78,10 +78,10 @@ bin/controller:
 ##
 ##	Prover (setup and prove)
 ##
-bin/prover: zkevm/arithmetization/zkevm.bin
+bin/prover:
 	mkdir -p bin
 	rm -f $@
-	$(CORSET_FLAGS) go build -o $@ ./cmd/prover
+	go build -o $@ ./cmd/prover
 
 ##
 ##	Compiles the state-manager inspector
@@ -105,7 +105,7 @@ bin/compression-aggregation-sample:
 bin/checker: zkevm/arithmetization/zkevm.bin
 	mkdir -p bin
 	rm -f $@
-	$(CORSET_FLAGS) go build -o $@ ./cmd/dev-tools/corset-checker
+	go build -o $@ ./cmd/dev-tools/corset-checker
 
 ##
 ##	Build the prover docker image