Admin/jenkins/ci-extras/package
author wenzelm
Thu, 21 Oct 2021 18:20:08 +0200
changeset 74565 11b8f026d6ce
parent 63143 ef72b104fa32
permissions -rwxr-xr-x
tuned;
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}/" .