Merge branch 'master' of github.com:hhu-stups/tlatools

.gitignore

@@ -25,3 +25,4 @@ screenshots/
 tlatools/.gradle
 tlatools/build
 ajcore.*.txt
+local.*

.travis.yml

+language: java
+jdk:
+- oraclejdk7
+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
+  tlatools/gradle.properties -d
+install: /bin/true
+script: gradle -btlatools/build.gradle uploadArchives
+env:
+  global:
+    secure: IrwH0PGjlWp22J55HCJrmqUlupD4X+BIYNnpn88lAtWDeqS+iSl43p42woBxHdrXDwPdYBWpLOYLtDxf7EEw9gnvp5y9FUyYBqscjqTKVpsXAH7f/aCgMb9S4p9kYC/jME7cKwiY2/fx+yAFOQqEOqpBWUrIQssH6ApfOv/3P5khb0O0BMYh0ek8oVrX9+NHpQTnolPIG8chBS53iHM27InQp9RB7sW+l69UaP1+jkzSbyvcfI+p64mgpHZQxnL6DeBi5d82cHDog38GbMeOgBJPNeMplSKo9ofTqOLChqfCAT4s0XskASkQNz7OOC8zWNeEoXpQF8ff9QqKrHyS284LZrrdf8pcJoQgFm/DSilUFCMRCNDWmAuCBR7In8zeBNVbMKR4v2/tcu5yR/PT5disS9Flxl2V3t0/s4MN88qN4w5ZU5I+KxxkR3NJoDWtfCz1b9vQXEXdWiUi5dwpKZ3skxQxY/w+/h2qyYfFfqFHTKW0z98ZBygGySlwsEPVzmva3o6L0bT+6dlT0/5GQi3tbgc6n+M+eafpP/EPybghLqUVF46h3hibK6Bykj3+9djBb0OZTOwyBuQO69TmXWUU/tlMwlBmz2ib3pgz2MBnWNdui6UVwVI2y2fhHNkCc/tRg356dxbI4p6oP0ogncdwlOlGsEUX773GjYQmHhU=

README.md

+#TLA+ Tools
+
+[![Build Status](https://travis-ci.org/hhu-stups/tlatools.svg)](https://travis-ci.org/hhu-stups/tlatools)
+
+Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, 
+an IDE for writing specifications and running tools to check them.
+
+
+This CodePlex site hosts the source code for the TLA+ Toolbox and TLA+ Tools. 
+The executable versions of the code are available for download through a link on the 
+TLA+ web site at research.microsoft.com/en-us/um/people/lamport/tla/tla.html, 
+under the same M.I.T. license with which the source code has been released. 
+The TLAPS proof system can be downloaded from http://tla.msr-inria.inria.fr/tlaps/content/Home.html. 
+For information about TLA+, visit the TLA+ web site.
+Last edited Jul 29, 2013 at 7:26 PM by lamport, version 7

tlatools/build.gradle

@@ -2,9 +2,12 @@ apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
 
-project.version = '1.0.0-SNAPSHOT'
-project.group = 'de.tla'
+project.version = '1.0.2-SNAPSHOT'
+project.group = 'de.hhu.stups'
+project.archivesBaseName = 'tlatools'
 
+project.sourceCompatibility = '1.7'
+project.targetCompatibility = '1.7'
 
 repositories {
 	mavenCentral()
@@ -37,3 +40,74 @@ task tlatools(dependsOn: build) << {
 	}
 }
 
+if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
+
+println "Configuring deployment for ${ project.name }"
+
+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 "TLA+ Tools"
+			 packaging 'jar'
+			 // optionally artifactId can be defined here
+			 description 'Modified version of the TLA+ tools for usage in ProB'
+			 url 'https://github.com/hhu-stups/tlatools'
+
+			 licenses {
+				 license {
+					 name 'MIT License'
+					 url 'http://research.microsoft.com/en-us/um/people/lamport/tla/license.html'
+				 }
+			 }
+
+			 scm {
+				 connection 'scm:git:git://github.com/hhu-stups/tlatools.git'
+				 developerConnection 'scm:git:git@github.com:hhu-stups/tlatools.git'
+				 url 'https://github.com/hhu-stups/tlatools'
+			 }
+
+
+			 developers {
+				 developer {
+					 id 'bendisposto'
+					 name 'Jens Bendisposto'
+					 email 'jens@bendisposto.de'
+				 }
+			 }
+		 }
+	 }
+ }
+}
+}