Makefile

.PHONY: submit_mainnet_state submit_devnet_state submit_account gen_contract_abi deploy_contract

submit_mainnet_state:
	@cargo run --manifest-path core/Cargo.toml --release -- submit-state

submit_devnet_state:
	@cargo run --manifest-path core/Cargo.toml --release -- submit-state --devnet

submit_account:
	@cargo run --manifest-path core/Cargo.toml --release -- submit-account ${PUBLIC_KEY} ${STATE_HASH}

gen_contract_abis:
	forge build --root contract/
	forge build --root example/eth_contract
	cp contract/out/MinaStateSettlement.sol/MinaStateSettlement.json core/abi/MinaStateSettlement.json
	cp contract/out/MinaAccountValidation.sol/MinaAccountValidation.json core/abi/MinaAccountValidation.json
	cp example/eth_contract/out/SudokuValidity.sol/SudokuValidity.json example/app/abi/SudokuValidity.json

deploy_contract: gen_contract_abis
	@cargo run --manifest-path contract_deployer/Cargo.toml --release

deploy_example_contract: gen_contract_abis
	@cargo run --manifest-path example/app/Cargo.toml --release -- deploy-contract

execute_example:
	cd example/mina_zkapp; \
	npm run build; \
	node build/src/run.js
	cargo run --manifest-path example/app/Cargo.toml --release -- validate-solution