README.user 1.28 KB
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1
2
3
#!/bin/bash -x


Alexander Weigl's avatar
Alexander Weigl committed
4
5
6
# Execute this in this folder.

# Set to key/key/deployment/components/
Sarah Grebing's avatar
interim    
Sarah Grebing committed
7
COMPONENTS=${COMPONENTS:-/home/sarah/Documents/KIT_Mitarbeiter/KeYDevelopment/KeYGitDir/key/key/deployment/components/}
8
#COMPONENTS=$HOME/work/key/key/deployment/components/
Sarah Grebing's avatar
interim    
Sarah Grebing committed
9
#COMPONENTS=lib/components/
Alexander Weigl's avatar
Alexander Weigl committed
10

Alexander Weigl's avatar
Alexander Weigl committed
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35


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 \