diff --git a/UNRELEASED.md b/UNRELEASED.md index ea6361545c..e36fbb39af 100644 --- a/UNRELEASED.md +++ b/UNRELEASED.md @@ -10,3 +10,6 @@ * Another change description, see #124 DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE --> +## Bug fixes + + * Fixed path of jar in ZIP distribution, reported in #500, see #506 diff --git a/script/release-publish.sh b/script/release-publish.sh index 5d72ee5664..fefdc6ac86 100755 --- a/script/release-publish.sh +++ b/script/release-publish.sh @@ -42,8 +42,9 @@ cd "$PROJ_ROOT" make clean make apalache -# Location of the jar that get's published in releases -RELEASE_JAR="${PROJ_ROOT}/mod-distribution/target/apalache-pkg-${VERSION}-full.jar" +# Relative location of the jar that gets published in releases +# This must be a relative path. Aboslute paths break the zip archive. +RELEASE_JAR="mod-distribution/target/apalache-pkg-${VERSION}-full.jar" # Confirm the jar was produced if [ ! -f "$RELEASE_JAR" ]; then