diff options
Diffstat (limited to 'scripts/link_mac.sh')
| -rwxr-xr-x | scripts/link_mac.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/scripts/link_mac.sh b/scripts/link_mac.sh index cbe8870..e9982bf 100755 --- a/scripts/link_mac.sh +++ b/scripts/link_mac.sh @@ -4,7 +4,14 @@ set -e # Needed if you have a java version other than 11 as default -JAVA_HOME=$(/usr/libexec/java_home -v 11) +echo "JAVA_HOME is set to: $JAVA_HOME" +if [[ "$OSTYPE" == "linux-gnu" ]]; then + JAVA_HOME='/usr/lib/jvm/java-11-openjdk-amd64' + echo "JAVA_HOME overrided to be: $JAVA_HOME" +elif [[ "$OSTYPE" == "darwin"* ]]; then + JAVA_HOME=$(/usr/libexec/java_home -v 11) + echo "JAVA_HOME overrided to be: $JAVA_HOME" +fi # Compile sources mvn compile @@ -21,4 +28,4 @@ $JAVA_HOME/bin/jlink \ --add-modules gson,javacs \ --launcher launcher=javacs/org.javacs.Main \ --output dist/mac \ - --compress 2
\ No newline at end of file + --compress 2 |