A few re-alignments with main prism branch.

prismmodelchecker · Jan 5, 2024 · 63281b2 · 63281b2
1 parent 2e516c8
commit 63281b2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/prism/Makefile b/prism/Makefile
@@ -704,8 +704,6 @@ build_release_source:
 	rm -f "release/$(SRC_DIST_FILE)" && \
 	mkdir -p "release/$(SRC_DIST_DIR)" && \
 	(cd .. && git archive $(BRANCH) --format=tar) | tar xf - -C "release/$(SRC_DIST_DIR)" && \
-	rm -rf "release/$(SRC_DIST_DIR)/prism/examples" && \
-	rm -rf "release/$(SRC_DIST_DIR)/prism/tests" && \
 	(cd release && tar cfz "$(SRC_DIST_FILE)" "$(SRC_DIST_DIR)") && rm -rf "release/$(SRC_DIST_DIR)"
 
 # Build Javadoc (and put in javadoc directory)

diff --git a/prism/src/bin/xprism.linux b/prism/src/bin/xprism.linux
@@ -3,7 +3,7 @@
 # Startup script for PRISM GUI (Linux/Solaris)
 
 # PRISM home directory
-PRISM_DIR=/users/clewil/Documents/D2013/prism-games-multi/prism-games-multi/prism
+PRISM_DIR=/home/luser/prism
 
 # Launch using main PRISM script
 PRISM_MAINCLASS=userinterface.GUIPrism