Admin/jenkins/ci-extras/package

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/jenkins/ci-extras/package	Tue May 24 22:46:23 2016 +0200
@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+set -e
+
+VERSION=1
+
+# Build JAR and fetch sources
+mvn package
+
+# Copy to correct location
+mkdir -p lib
+cp "target/ci-extras-1.0-SNAPSHOT-jar-with-dependencies.jar" "lib/ci-extras.jar"
+
+# Clean up
+mvn clean
+
+# Package component
+rm -rf dist && mkdir -p dist
+tar czf "dist/ci-extras-${VERSION}.tar.gz" --exclude dist --transform "s/^\\./ci-extras-${VERSION}/" .