diff --git a/src/test/script/deploy-local.sh b/src/test/script/deploy-local.sh new file mode 100644 index 000000000..591bd718b --- /dev/null +++ b/src/test/script/deploy-local.sh @@ -0,0 +1,9 @@ +#!/usr/bin/env bash +# Builds and deploys a local version of KickC +export C64_HOME="$(dirname $0)/../../../.." +pushd "${C64_HOME}/kickc" +mvn package -DskipTests +popd +rm -r ${C64_HOME}/kickc_local/* +unzip -d ${C64_HOME}/kickc_local ${C64_HOME}/kickc/target/kickc-release.zip +mv ${C64_HOME}/kickc_local/kickc/* ${C64_HOME}/kickc_local/