From 1dcad88620af075a753e3399249858a3dd0a6e06 Mon Sep 17 00:00:00 2001 From: Mattias Ulbrich Date: Thu, 28 Dec 2023 13:22:19 +0100 Subject: [PATCH] updating Makefile --- Makefile | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/Makefile b/Makefile index 7e5b82f..d49a6f7 100644 --- a/Makefile +++ b/Makefile @@ -13,20 +13,23 @@ default: proofSettings: mkdir -p $${HOME}/.key cp proofIndependentSettings.props $${HOME}/.key + touch $${HOME}/.key/proof-settings.props -overflow-run: +overflow-run: proofSettings @echo Consider loading one of the following files: @find -iname "project*.key" java -Dkey.contractOrder="contract-order.txt" -jar $(KEY_OVERFLOW_JAR) -run: +run: proofSettings @echo Consider loading one of the following files: @find -iname "project*.key" java -Dkey.contractOrder="contract-order.txt" -jar $(KEY_JAR) compile: - find -name "*.java" > sources.txt - javac @sources.txt + ./gradlew compileJava + +test: + ./gradlew test constr-src: rm -rf src/main/java-constr @@ -45,11 +48,11 @@ check: check-methods check-constructors check-overflow-methods check-overflow-co check-methods: proofSettings $(checkCommand) --forbid-contracts-file "contracts/ignore.txt" --forbid-contracts-file "contracts/constructors.txt" -s statistics-methods.json src/main/key/project.key -check-constructors: constr-src +check-constructors: constr-src proofSettings $(checkCommand) --contracts-file contracts/constructors.txt -s statistics-constructors.json src/main/key/project-constr.key -check-overflow-methods: +check-overflow-methods: proofSettings $(checkOverflowCommand) --contracts-file "contracts/overflow.txt" --forbid-contracts-file "contracts/constructors.txt" -s statistics-overflow-methods.json src/main/key-overflow/project.key -check-overflow-constructors: constr-overflow-src +check-overflow-constructors: constr-overflow-src proofSettings $(checkOverflowCommand) --contracts-file "contracts/constructors.txt" -s statistics-overflow-constructors.json src/main/key-overflow/project-constr.key