diff --git a/Makefile b/Makefile
deleted file mode 100644
index 06451129d846a5bb896a31b796d239e1b2f382fb..0000000000000000000000000000000000000000
--- a/Makefile
+++ /dev/null
@@ -1,8 +0,0 @@
-build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java src/main/java/de/tla2bAst/*.java build.gradle
-	gradle createJar
-install: build/libs/TLA2B.jar
-	cp build/libs/TLA2B.jar ../../prob_prolog/lib/
-
-test: build/libs/TLA2B.jar
-	java -jar build/libs/TLA2B.jar $(FILE).tla
-	probcli $(FILE).prob -ppf user_output
diff --git a/build.gradle b/build.gradle
index 0e0cfef0134508eb2a382d5f8192eeb97a961f07..b332abd4d1cb0d81a5828c48f3d2a398ae18d2e9 100644
--- a/build.gradle
+++ b/build.gradle
@@ -60,17 +60,6 @@ task jacocoIntegrationTestReport(type: JacocoReport) {
 	executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
 }
 
-task createJar(type: Jar, dependsOn: classes){
-	archiveFileName = 'TLA2B.jar'
-	//from sourceSets.main.allJava
-	from sourceSets.main.output
-	from {configurations.runtimeClasspath.collect { it.isDirectory() ? it : zipTree(it) } }
-	exclude('**/*.java')
-	manifest {
-		attributes "Main-Class" : 'de.tla2b.TLA2B'
-	}
-}
-
 publishing {
 	publications {
 		mavenJava(MavenPublication) {