summaryrefslogtreecommitdiff
path: root/scripts/link_debian.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/link_debian.sh')
-rwxr-xr-xscripts/link_debian.sh24
1 files changed, 0 insertions, 24 deletions
diff --git a/scripts/link_debian.sh b/scripts/link_debian.sh
deleted file mode 100755
index 183cb99..0000000
--- a/scripts/link_debian.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/bash
-# Links everything into a self-contained executable using jlink.
-
-set -e
-
-# Needed if you have a java version other than 11 as default
-JAVA_HOME='/usr/lib/jvm/java-11-openjdk-amd64'
-
-# Compile sources
-mvn compile
-
-# Patch gson
-if [ ! -e modules/gson.jar ]; then
- ./scripts/patch_gson.sh
-fi
-
-# Build using jlink
-rm -rf dist/debian
-$JAVA_HOME/bin/jlink \
- --module-path modules/gson.jar:target/classes \
- --add-modules gson,javacs \
- --launcher launcher=javacs/org.javacs.Main \
- --output dist/debian \
- --compress 2