Skip to content
Snippets Groups Projects
Commit f6daf266 authored by Jens Bendisposto's avatar Jens Bendisposto
Browse files

deployment

parent 1cecb9c5
No related branches found
No related tags found
No related merge requests found
local.*
language: java
script: gradle tla2b
script: gradle uploadArchives
before_install:
- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg -d
- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in pubring.gpg.enc -out pubring.gpg -d
- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in gradle.properties.enc -out gradle.properties -d
env:
global:
secure: RSWp6NRFm5iSK76fm6Ms1FLyUKMKhXt1JrUAQ6x558R73mT7SUvdKbBn9Ffh+TiNO6JVsma3KFoHvYnx8Ys6OGipyXW8g2DKiyg3jm2im4HTtxJqpp7Rls0gm0jGpjOOLwkWl719DZLC6+cPoUuGWtAk8FbowkBz1uWySnJSltI=
......@@ -5,7 +5,9 @@ apply plugin: 'jacoco'
apply plugin: 'findbugs'
project.version = '1.0.5-SNAPSHOT'
project.group = 'de.prob'
project.group = 'de.hhu.stups'
project.archivesBaseName = "tla2bAST"
repositories {
mavenCentral()
......@@ -20,20 +22,20 @@ repositories {
}
configurations { // configuration that holds jars to copy into lib
releaseJars
releaseJars
}
def parser_version = '2.5.0-SNAPSHOT'
dependencies {
//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
compile (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0')
compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
compile (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
compile (group: 'de.hhu.stups', name: 'bparser', version: parser_version)
compile (group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
//compile(group: 'de.prob', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
testCompile (group: 'junit', name: 'junit', version: '4.7')
......@@ -61,17 +63,17 @@ tasks.withType(FindBugs) {
// disable findbugs by default
// in order to run findbugs type 'gradle tlc4b findbugsMain findbugsTest'
task -> enabled = gradle.startParameter.taskNames.contains(task.name)
reports {
xml.enabled = false
html.enabled = true
}
ignoreFailures = true
}
test {
test {
exclude('testing')
allJvmArgs = [ "-Xss515m" ]
}
......@@ -95,3 +97,57 @@ task tla2b(dependsOn: build) << {
rename('tla2bAST-(.+)', 'TLA2B.jar')
}
}
if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
apply plugin: 'signing'
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)
}
pom.project {
name 'TLA+ to B-AST'
packaging 'jar'
// optionally artifactId can be defined here
description "Translator from TLA+ to ProB's AST representation."
url 'https://github.com/hhu-stups/tla2bAST'
licenses {
license {
name 'GNU Lesser General Public License, Version 2.1'
url 'http://www.gnu.org/licenses/lgpl-2.1.html'
}
}
scm {
connection 'scm:git:git://github.com/hhu-stups/tla2bAST.git'
developerConnection 'scm:git:git@github.com:hhu-stups/tla2bAST.git'
url 'https://github.com/bendisposto/hhu-stups/tla2bAST'
}
developers {
developer {
id 'bendisposto'
name 'Jens Bendisposto'
email 'jens@bendisposto.de'
}
}
}
}
}
}
}
File added
File added
File added
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment