Admin/jenkins/ci-extras/package
author wenzelm
Tue, 05 Jan 2021 17:40:51 +0100
changeset 73060 4b620e1cb1e9
parent 63143 ef72b104fa32
permissions -rwxr-xr-x
tuned -- generate script by Isabelle/Scala;
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}/" .