build script for nullpath

Author: ShuMengZhang00

build.gradle.kts

@@ -4,10 +4,6 @@ plugins {
     id("maven-publish.conventions")
 }
 
-repositories {
-    mavenCentral()
-}
-
 group = projectGroupId
 description = projectArtifactId
 version = projectVersion
@@ -70,6 +66,27 @@ task("fatJar", type = Jar::class) {
     with(tasks["jar"] as CopySpec)
 }
 
+task("nullpath", type = Jar::class) {
+    group = "build"
+    description = "Creates a single jar file including NullPath and all dependencies"
+    manifest {
+        attributes["Main-Class"] = "pascal.taie.analysis.bugfinder.pathsensnullpointer.NullPointerMain"
+    }
+    archiveBaseName.set("nullpath")
+    from(
+        configurations.runtimeClasspath.get().map {
+            if (it.isDirectory) it else zipTree(it)
+        }
+    )
+    from("COPYING", "COPYING.LESSER")
+    destinationDirectory.set(rootProject.buildDir)
+    duplicatesStrategy = DuplicatesStrategy.EXCLUDE
+    with(tasks["jar"] as CopySpec)
+    exclude("META-INF/*.SF")
+    exclude("META-INF/*.DSA")
+    exclude("META-INF/*.RSA")
+}
+
 tasks.jar {
     from("COPYING", "COPYING.LESSER")
     destinationDirectory.set(rootProject.buildDir)