diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..b4cfbc251892a911c26bebd6df9254630e97cfc9
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,5 @@
+build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java
+	gradle createJar
+install: build/libs/TLA2B.jar
+	cp build/libs/TLA2B.jar ../../prob_prolog/lib/
+
diff --git a/build.gradle b/build.gradle
index cbf7dac908e26c70e0c2ffa2ed24db93339f6330..6c516b0894ff9dcbf2a21d7713d46596d84a9edc 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,7 +1,7 @@
 apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
-apply plugin: 'jacoco'
+//apply plugin: 'jacoco'
 apply plugin: 'findbugs'
 
 project.version = '1.1.1'
@@ -50,17 +50,17 @@ dependencies {
 	testCompile (group: 'junit', name: 'junit', version: '4.12')
 }
 
-jacoco {
-    toolVersion = "0.7.1.201405082137"
-    reportsDir = file("$buildDir/customJacocoReportDir")
-}
+// jacoco {
+//     toolVersion = "0.7.1.201405082137"
+//     reportsDir = file("$buildDir/customJacocoReportDir")
+// }
 
 // type 'gradle tla2b jacocoIntegrationTestReport' in order to run the jacoco code coverage analysis
-task jacocoIntegrationTestReport(type: JacocoReport) {
-	sourceSets sourceSets.main
-	//executionData files('build/jacoco/integrationTests.exec')
-	executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
- }
+// task jacocoIntegrationTestReport(type: JacocoReport) {
+// 	sourceSets sourceSets.main
+// 	//executionData files('build/jacoco/integrationTests.exec')
+// 	executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
+//  }
 
 tasks.withType(FindBugs) {
 	// disable findbugs by default