#!/bin/bash -x


# Execute this in this folder.

# Set to key/key/deployment/components/
COMPONENTS=${COMPONENTS:-/home/sarah/Documents/KIT_Mitarbeiter/KeYDevelopment/KeYGitDir/key/key/deployment/components/}
COMPONENTS=$HOME/work/key/key/deployment/components/



mvn install:install-file -Dfile=$COMPONENTS/key.core.jar \
                         -DgroupId=key-project-psdbg \
                         -DartifactId=key.core \
                         -Dversion=2.7-SNAPSHOT \
                         -Dpackaging=jar \

mvn install:install-file -Dfile=$COMPONENTS/key.ui.jar \
                         -DgroupId=key-project-psdbg \
                         -DartifactId=key.ui \
                         -Dversion=2.7-SNAPSHOT \
                         -Dpackaging=jar \

mvn install:install-file -Dfile=$COMPONENTS/key.util.jar \
                         -DgroupId=key-project-psdbg \
                         -DartifactId=key.util \
                         -Dversion=2.7-SNAPSHOT \
                         -Dpackaging=jar \

mvn install:install-file -Dfile=$COMPONENTS/../libs/recoderKey.jar\
                         -DgroupId=key-project-psdbg \
                         -DartifactId=recoder \
                         -Dversion=2.7\
                         -Dpackaging=jar \