From 9ed7d7054063ec94ff735f12acacef413c137a8c Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Mon, 29 Apr 2024 17:07:37 +0200 Subject: [PATCH] add Makefile as documentation Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de> --- Makefile | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c83febd --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +# Makefile as documentation on how to build the TLA2B.jar file +# This file should then appear in ProB's lib folder +# This file is for documentation, for user's not familiar with gradle +build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java src/main/java/de/tla2bAst/*.java build.gradle + @echo "Building TLA2B.jar" + gradle shadowJar +install: build/libs/TLA2B.jar + @echo "Copying the TLA2B jar file to default location of prob_prolog" + cp build/libs/TLA2B.jar ../../prob_prolog/lib/ +FILE = src/test/resources/examples/instance/Counter/Counter +test: build/libs/TLA2B.jar + @echo "Running a simple test using the TLA2B jar file" + java -jar build/libs/TLA2B.jar $(FILE).tla + @echo "Checking if probcli can load the generate .prob file" + probcli $(FILE).prob -ppf user_output -- GitLab