move to travis

.gitignore

@@ -5,3 +5,4 @@ build/
 .classpath
 .project
 probkodkod.log
+local.*

.travis.yml

+language: java
+
+script: gradle uploadArchives
+
+sudo: false
+
+install: /bin/false
+
+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: faEzt9hgMdEfqBRwiKFbq9S1BbdUrllZMCL6ibFViIF2VZFEUWuD8MN0zFWRtOc7EJwzYWjWx8GwEa81F05eda/HgLXeVdzF6RMFTveDxZDgSYsjHWy/ug2moi6AzzLHI0Vp4bjxHJR8WPXOBaQr0zR78jmWucytZqMKANYltFizBz3Mt7ePzfLIc5gL80gKBWZlRL/uibDKbHeWCoWQ+JeByVNlQbzTfD2zJxeHePwNYOgVW4+qjEhgv7Ikpd2z+TNQ4zmZ7mKeJA81jNW7KWHjIJE80HJEPGfuWZR9OawzgfCnyfDh4u33eqWl8L6F78wMQYKoSDJrD7I2xqhBN5r9WbdLF2NYeNL/b76bblMhl6parygq/UwPNhMIHXrtHKoh4NCnFgltwF3HYHB7H/lzIwWYb9DuzIca7XWRPqNbrns88k1HfwQkVPL/sp04sXgAOOPgCruVBCPF7+1DyP2dCBuCwWRB4GgjRUt8srrvCbJbtiS4vzpuBxtHxd+8hNhxmHVek9c6/EpQ0YzDRrmAZ39hheJyBFdfjG30EnwWjFw0J6fD72YO+9xKAGuaxK3iA/PlX7O953oOsrD5P/m22F5Wk7AV6A6a6/FB6ekdOEOrqT25ci2H4nSModXECEHLNbqCvNZdYMucku3HXM5Oq6Y/HcHP+hCFt9XC50I=

build.gradle

 project.version = '1.0.3-SNAPSHOT';
-project.group = 'de.stups'
-
-buildscript {
-    repositories {
-        mavenCentral()
-        jcenter()
-    }
-
-    dependencies {
-    //    classpath 'eu.appsatori:gradle-fatjar-plugin:0.2-rc1'
-        classpath 'com.github.jengelman.gradle.plugins:shadow:1.2.2'
-    }
-}
-
-
-
+project.group = 'de.hhu.stups'
 
 apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
-//apply plugin: 'fatjar'
 apply plugin: 'application'
-apply plugin: 'com.github.johnrengelman.shadow'
-
 
 repositories {
     mavenCentral()
-    maven {
-      name "cobra"
-      url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
-    }
 }
 
 configurations {
@@ -46,7 +24,6 @@ sourceSets {
 
 sourceSets.test.runtimeClasspath += files(sourceSets.main.java.srcDirs)
 
-
 dependencies {
     sablecc(group: 'de.stups', name: 'sablecc', version: '3.2.7-SNAPSHOT', changing: true)
     compile 'de.hhu.stups:prologlib:2.4.40'
@@ -78,6 +55,8 @@ test {
 
 mainClassName = 'de.stups.probkodkod.KodkodInteraction'
 
+
+/*
 jar {
  manifest {
        attributes 'Main-Class': mainClassName,
@@ -92,3 +71,74 @@ jar {
  include '**/*.properties'
  from configurations.compile.collect { it.isDirectory() ? it : zipTree(it) }
 }
+*/
+
+if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
+
+apply plugin: 'signing'
+
+signing {
+    sign configurations.archives
+}
+
+
+task javadocJar(type: Jar) {
+	 classifier = 'javadoc'
+	 from javadoc
+}
+
+task sourcesJar(type: Jar) {
+	 classifier = 'sources'
+	 from sourceSets.main.allSource
+}
+
+artifacts {
+	 archives javadocJar, sourcesJar
+}
+
+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 'Eclipse Public License, Version 1.0'
+            url 'https://www.eclipse.org/legal/epl-v10.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/hhu-stups/tla2bAST'
+        }
+
+
+        developers {
+          developer {
+            id 'bendisposto'
+            name 'Jens Bendisposto'
+            email 'jens@bendisposto.de'
+          }
+        }
+      }
+    }
+  }
+}
+}