Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
The migration to Github is completed.
Read more
Open sidebar
key-public
key
Commits
af700006
Commit
af700006
authored
Dec 20, 2020
by
Alexander Weigl
Browse files
change settings for gitlab repo
parent
d18946e2
Changes
4
Hide whitespace changes
Inline
Side-by-side
key/build.gradle
View file @
af700006
...
...
@@ -231,12 +231,20 @@ subprojects {
}
repositories
{
maven
{
name
=
"GitHubPackages"
url
=
uri
(
"https://maven.pkg.github.com/KeYProject/key"
)
credentials
{
name
=
"GitlabPackages"
//url = uri("https://maven.pkg.github.com/KeYProject/key")
url
"https://git.key-project.org/api/v4/projects/35/packages/maven"
credentials
(
HttpHeaderCredentials
)
{
name
=
'Private-Token'
value
=
System
.
getenv
(
"TOKEN"
)
}
authentication
{
header
(
HttpHeaderAuthentication
)
}
/*credentials {
username = project.findProperty("gpr.user") ?: System.getenv("USERNAME")
password = project.findProperty("gpr.key") ?: System.getenv("TOKEN")
}
}
*/
}
}
}
...
...
key/key.core/build.gradle
View file @
af700006
...
...
@@ -39,7 +39,7 @@ compileJavacc {
doLast
{
// Some manual overwriting of Token files needed
copy
{
from
(
"src/main/javacc/de/uka/ilkd//parser/schemajava/Token.java"
)
from
(
"src/main/javacc/de/uka/ilkd/
key
/parser/schemajava/Token.java"
)
into
"$javaCCOutputDirMain/de/uka/ilkd/key/parser/schemajava/"
}
copy
{
...
...
key/scripts/mvndeploy/deploy.sh
View file @
af700006
DEPLOYURL
=
https://maven.pkg.github.com/KeYProject/key
# PROJECT 53 = key-public/key
DEPLOYURL
=
https://git.key-project.org/api/v4/projects/35/packages/maven
MVNDEPLOY
=
"mvn -s settings.xml deploy:deploy-file -DrepositoryId=gpr -Durl=
$DEPLOYURL
"
# recoderkey
#
$MVNDEPLOY -DpomFile=recoderKey.pom.xml -Dfile=../../key.core/lib/recoderkey.jar
$MVNDEPLOY
-DpomFile
=
recoderKey.pom.xml
-Dfile
=
../../key.core/lib/recoderkey.jar
# docking-frames-core
#$MVNDEPLOY -DpomFile=docking-frames-core.pom.xml -Dfile=../../key.ui/lib/docking-frames-core.jar
$MVNDEPLOY
-DpomFile
=
docking-frames-common.pom.xml
-Dfile
=
../../key.ui/lib/docking-frames-common.jar
# docking-frames-common
#$MVNDEPLOY -DpomFile=docking-frames-common.pom.xml -Dfile=../../key.ui/lib/docking-frames-common.jar
key/scripts/mvndeploy/settings.xml
View file @
af700006
...
...
@@ -5,8 +5,14 @@
<servers>
<server>
<id>
gpr
</id>
<username>
wadoon
</username>
<password>
17f82842578a76ba27a29fd5f6f34a68b5a266ee
</password>
<configuration>
<httpHeaders>
<property>
<name>
Private-Token
</name>
<value>
Lk6PZsfupdf4jYZRvqKS
</value>
</property>
</httpHeaders>
</configuration>
</server>
</servers>
</settings>
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment