Skip to content
Snippets Groups Projects
Commit 477455a6 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

minor edit

parent 9ed7d705
No related branches found
No related tags found
No related merge requests found
Pipeline #134858 passed
Stage: test
Stage: deploy
Show whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
Makefile
+ 2
− 2
View file @ 477455a6
# Makefile as documentation on how to build the TLA2B.jar file # Makefile as documentation on how to build the TLA2B.jar file
# This file should then appear in ProB's lib folder # This file should then be put into ProB's lib folder
# This file is for documentation, for user's not familiar with gradle # This file is for documentation, for users 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 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" @echo "Building TLA2B.jar"
gradle shadowJar gradle shadowJar
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment