From e9d58e9d9ec16217d5393f2fa8c19580c99138ed Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 11 Aug 2023 13:25:57 +0200
Subject: [PATCH] Remove createJar task
The prob_prolog Gradle build creates its own TLA2B.jar from the released
jars on Maven Central, not using this task.
---
Makefile | 8 --------
build.gradle | 11 -----------
2 files changed, 19 deletions(-)
delete mode 100644 Makefile
diff --git a/Makefile b/Makefile
deleted file mode 100644
index 0645112..0000000
--- 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 0e0cfef..b332abd 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) {
--
GitLab