From 69e264d9c5061b918d87bd216db2f92792e4dc96 Mon Sep 17 00:00:00 2001
From: Jesper Gravgaard <jg@ramboll.com>
Date: Mon, 15 Jul 2019 18:35:25 +0200
Subject: [PATCH] Added script for building & deploying local version of kickc.

---
 src/test/script/deploy-local.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/test/script/deploy-local.sh

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/