Admin/jenkins/ci-extras/package
author wenzelm
Mon, 22 May 2017 00:23:25 +0200
changeset 65897 94b0da1b242e
parent 63143 ef72b104fa32
permissions -rwxr-xr-x
back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;

#!/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}/" .