Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
R
Rodin Event-B AST
Manage
Activity
Members
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Model registry
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
Rodin Event-B AST
Commits
c8e6de43
Commit
c8e6de43
authored
1 year ago
by
dgelessus
Browse files
Options
Downloads
Patches
Plain Diff
Switch to java-library and maven-publish plugins
parent
21fc314e
No related branches found
No related tags found
No related merge requests found
Pipeline
#121876
passed
1 year ago
Stage: deploy
Changes
2
Pipelines
1
Show whitespace changes
Inline
Side-by-side
Showing
2 changed files
.gitlab-ci.yml
+1
-1
1 addition, 1 deletion
.gitlab-ci.yml
build.gradle
+49
-59
49 additions, 59 deletions
build.gradle
with
50 additions
and
60 deletions
.gitlab-ci.yml
+
1
−
1
View file @
c8e6de43
...
...
@@ -14,6 +14,6 @@ publish:
-
openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in gradle.properties.enc -out gradle.properties
-
openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in pubring.gpg.enc -out pubring.gpg
-
openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in secring.gpg.enc -out secring.gpg
-
./gradlew ${GRADLE_OPTIONS}
uploadArchives
-
./gradlew ${GRADLE_OPTIONS}
publish
only
:
-
master@general/stups/rodin_eventb_ast
This diff is collapsed.
Click to expand it.
build.gradle
+
49
−
59
View file @
c8e6de43
plugins
{
id
"eclipse"
id
"java"
id
"maven"
id
"java-library"
id
"maven-publish"
id
"signing"
}
sourceCompatibility
=
'1.7'
project
.
version
=
'3.2.1-SNAPSHOT'
project
.
group
=
'de.hhu.stups'
final
isSnapshot
=
project
.
version
.
endsWith
(
"-SNAPSHOT"
)
sourceSets
{
main
{
...
...
@@ -74,6 +76,10 @@ index e71bf08..0977da1 100644
}
}
java
{
withSourcesJar
()
withJavadocJar
()
}
compileJava
{
dependsOn
<<
'tom'
...
...
@@ -87,73 +93,57 @@ clean {
delete
"src/org/eventb/internal/core/typecheck/TypeUnifier.java"
}
if
(
project
.
hasProperty
(
'ossrhUsername'
)
&&
project
.
hasProperty
(
'ossrhPassword'
))
{
println
"Configured upload task"
apply
plugin:
'signing'
task
javadocJar
(
type:
Jar
)
{
classifier
=
'javadoc'
from
javadoc
}
task
sourcesJar
(
type:
Jar
)
{
classifier
=
'sources'
from
sourceSets
.
main
.
allSource
}
artifacts
{
archives
javadocJar
,
sourcesJar
}
ext
.
"signing.secretKeyRingFile"
=
rootProject
.
file
(
"secring.gpg"
).
absolutePath
signing
{
sign
configurations
.
archives
}
uploadArchives
{
repositories
{
mavenDeployer
{
beforeDeployment
{
MavenDeployment
deployment
->
signing
.
signPom
(
deployment
)
}
repository
(
url:
"https://oss.sonatype.org/service/local/staging/deploy/maven2/"
)
{
authentication
(
userName:
ossrhUsername
,
password:
ossrhPassword
)
}
snapshotRepository
(
url:
"https://oss.sonatype.org/content/repositories/snapshots/"
)
{
authentication
(
userName:
ossrhUsername
,
password:
ossrhPassword
)
}
publishing
{
publications
{
mavenJava
(
MavenPublication
)
{
from
components
.
java
pom
.
project
{
name
'Rodin EventB AST'
packaging
'jar'
// optionally artifactId can be defined here
description
'The AST library extracted from the Rodin Platform.'
url
'https://github.com/hhu-stups/rodin-ast'
pom
{
name
=
"Rodin EventB AST"
description
=
"The AST library extracted from the Rodin Platform."
url
=
"https://github.com/hhu-stups/rodin-ast"
licenses
{
license
{
name
'
Eclipse Public License, V 1.0
'
url
'
https://www.eclipse.org/legal/epl-v10.html
'
name
=
"
Eclipse Public License, V 1.0
"
url
=
"
https://www.eclipse.org/legal/epl-v10.html
"
}
}
scm
{
connection
'
scm:git:git://github.com/hhu-stups/rodin-ast.git
'
developerConnection
'
scm:git:git@github.com:hhu-stups/rodin-ast.git
'
url
'
https://github.com/hhu-stups/rodin-ast
'
connection
=
"
scm:git:git://github.com/hhu-stups/rodin-ast.git
"
developerConnection
=
"
scm:git:git@github.com:hhu-stups/rodin-ast.git
"
url
=
"
https://github.com/hhu-stups/rodin-ast
"
}
developers
{
developer
{
id
'bendisposto'
name
'Jens Bendisposto'
email
'jens@bendisposto.de'
id
=
"bendisposto"
name
=
"Jens Bendisposto"
email
=
"jens@bendisposto.de"
}
}
}
}
}
repositories
{
maven
{
final
releasesRepoUrl
=
"https://oss.sonatype.org/service/local/staging/deploy/maven2"
final
snapshotsRepoUrl
=
"https://oss.sonatype.org/content/repositories/snapshots"
url
isSnapshot
?
snapshotsRepoUrl
:
releasesRepoUrl
if
(
project
.
hasProperty
(
"ossrhUsername"
)
&&
project
.
hasProperty
(
"ossrhPassword"
))
{
credentials
{
username
project
.
ossrhUsername
password
project
.
ossrhPassword
}
}
}
}
}
ext
.
"signing.secretKeyRingFile"
=
rootProject
.
file
(
"secring.gpg"
).
absolutePath
signing
{
sign
publishing
.
publications
.
mavenJava
}
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
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!
Save comment
Cancel
Please
register
or
sign in
to comment