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;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
63143
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     1
#!/usr/bin/env bash
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     2
set -e
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     3
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     4
VERSION=1
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     5
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     6
# Build JAR and fetch sources
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     7
mvn package
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     8
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     9
# Copy to correct location
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    10
mkdir -p lib
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    11
cp "target/ci-extras-1.0-SNAPSHOT-jar-with-dependencies.jar" "lib/ci-extras.jar"
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    12
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    13
# Clean up
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    14
mvn clean
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    15
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    16
# Package component
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    17
rm -rf dist && mkdir -p dist
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    18
tar czf "dist/ci-extras-${VERSION}.tar.gz" --exclude dist --transform "s/^\\./ci-extras-${VERSION}/" .