Update cairo-platinum to cairo-platinum-prover in Makefile

update comment

Makefile

@@ -9,7 +9,7 @@ COMPILED_CAIRO0_PROGRAMS:=$(patsubst $(CAIRO0_PROGRAMS_DIR)/%.cairo, $(CAIRO0_PR
 # Rule to compile Cairo programs for testing purposes.
 # If the `cairo-lang` toolchain is installed, programs will be compiled with it.
 # Otherwise, the cairo_compile docker image will be used
-# When using the docker version, be sure to build the image using `make docker_build_compiler`.
+# When using the docker version, be sure to build the image using `make docker_build_cairo_compiler`.
 $(CAIRO0_PROGRAMS_DIR)/%.json: $(CAIRO0_PROGRAMS_DIR)/%.cairo
 	@echo "Compiling Cairo program..."
 	@cairo-compile --cairo_path="$(CAIRO0_PROGRAMS_DIR)" $< --output $@ 2> /dev/null || \
@@ -68,35 +68,35 @@ docker_build_cairo_compiler:
 docker_compile_cairo:
 	docker run -v $(ROOT_DIR):/pwd cairo cairo-compile /pwd/$(PROGRAM) > $(OUTPUT)
 
-target/release/cairo-platinum: 
-	cargo build --bin cairo-platinum --release --features instruments
+target/release/cairo-platinum-prover:
+	cargo build --bin cairo-platinum-prover --release --features instruments
 
-docker_compile_and_run_all: target/release/cairo-platinum
+docker_compile_and_run_all: target/release/cairo-platinum-prover
 	@echo "Compiling program with docker"
 	@docker run -v $(ROOT_DIR):/pwd cairo cairo-compile /pwd/$(PROGRAM) > $(PROGRAM).json
 	@echo "Compiling done \n"
-	@cargo run --bin cairo-platinum --features instruments --quiet --release prove_and_verify $(PROGRAM).json
+	@cargo run --bin cairo-platinum-prover --features instruments --quiet --release prove_and_verify $(PROGRAM).json
 	@rm $(PROGRAM).json
 
-docker_compile_and_prove: target/release/cairo-platinum
+docker_compile_and_prove: target/release/cairo-platinum-prover
 	@echo "Compiling program with docker"
 	@docker run -v $(ROOT_DIR):/pwd cairo cairo-compile /pwd/$(PROGRAM) > $(PROGRAM).json
 	@echo "Compiling done \n"
-	@cargo run --bin cairo-platinum --features instruments --quiet --release prove $(PROGRAM).json $(PROOF_PATH)
+	@cargo run --bin cairo-platinum-prover --features instruments --quiet --release prove $(PROGRAM).json $(PROOF_PATH)
 	@rm $(PROGRAM).json
 
-compile_and_run_all: target/release/cairo-platinum
+compile_and_run_all: target/release/cairo-platinum-prover
 	@echo "Compiling program with cairo-compile"
 	@cairo-compile $(PROGRAM) > $(PROGRAM).json
 	@echo "Compiling done \n"
-	@cargo run --bin cairo-platinum --features instruments --quiet --release prove_and_verify $(PROGRAM).json 
+	@cargo run --bin cairo-platinum-prover --features instruments --quiet --release prove_and_verify $(PROGRAM).json 
 	@rm $(PROGRAM).json
 
-compile_and_prove: target/release/cairo-platinum
+compile_and_prove: target/release/cairo-platinum-prover
 	@echo "Compiling program with cairo-compile"
 	@cairo-compile $(PROGRAM) > $(PROGRAM).json
 	@echo "Compiling done \n"
-	@cargo run --bin cairo-platinum --features instruments --quiet --release prove $(PROGRAM).json $(PROOF_PATH)
+	@cargo run --bin cairo-platinum-prover --features instruments --quiet --release prove $(PROGRAM).json $(PROOF_PATH)
 	@rm $(PROGRAM).json
 
 clean: