build files

.gitignore

 /bin/
 /src/org/eventb/internal/core/typecheck/TypeUnifier.java
 SubParsers.patch
+local.*

.travis.yml

+language: java
+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
+sudo: false
+install: /bin/true
+script: gradle uploadArchives
+
+env:
+  global:
+    secure: qhGqw190PVbI70Vr4UVgnKfDS8YJTrVtkMMXCc/11kypTbu5dugheD1zNAYQQAzo8Fm4SrwAhvOhGF85M+FARrxBdJsuSrWPsTS94q65m/T/WCCmDsWyD8frwtmSBWgRP+lbTlunzXEDHB71Bu2+oi70yaGn2fnfr2mkyaUn4uUzsFa2ShleBCI48nV3nekbdriPQ8rhaou5lgxN3tjyK97hQXTCcs+T++15yLR3S08Duo5F4Tmpn6TpEyQaq9VuknKGVVJ/nuSKK3GQIiNzcKxCiuMAn698M/ALAGDdIrcd8lIELRyUQpIpqRiuBYFw3ZHWFXiid76GBXownOkdAfOwPrJLd4W9bNrTPFPWoSBv4+CtqhqDWzvm1DqR280Iso1pErlSyQmRfkD7ZPpOH5DnkXg6tKTQyNUECDQxCbnrV43YOJS3HUC3J7pUIv+7NGeAX3tLMNxEiYoswGeEurcfyshKKsCaZF+sQDsGjNX76EUxmL2o2pZTEYTXdBZ1Xg7FmzqatvAPn3GE+cU9rjV9HhNPY8W10LQLx0sHw+8PstQ/3t/rwV68YqCsTOXmIJCcdENMqZbcyiZ0NpNMElGUuWpJEcIQCzmTHdt/Fq48CHKOlVmJyTcKTuHsAJT09cSLxyG+WYK7pJk4VyvLKeht3CjMWm+31BkpjWPujfU=

build.gradle

@@ -4,6 +4,10 @@ apply plugin: 'maven'
 
 sourceCompatibility = '1.7'
 
+project.version = '3.2.0-SNAPSHOT'
+project.group = 'de.hhu.stups'
+project.archivesBaseName = 'rodin-eventb-ast'
+
 sourceSets {
     main {
         java {
@@ -71,3 +75,74 @@ compileJava {
 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
+}
+
+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 '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'
+
+        licenses {
+          license {
+            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'
+        }
+
+
+        developers {
+          developer {
+            id 'bendisposto'
+            name 'Jens Bendisposto'
+            email 'jens@bendisposto.de'
+          }
+        }
+      }
+    }
+  }
+}
+}

gradle.properties.enc

+Salted__#Z䛾7{j;jSVGӇIzqs9kxy-2TJ9m/rCO;<S+/_ 9ȅ	5yHOӉ&kqфS%?>рcƾlwƟgn
a/^>=0aY] q>ݘX=)Qy+jcub1u増}"LE7Cza
\	
\ No newline at end of file