GP-0: Change SymbolicSummaryZ3 to be an extension.

2026-05-31 19:15:53 +08:00 · 2025-07-02 15:59:41 +00:00
parent 9876a4bfe5
commit 13c71e809a
64 changed files with 5 additions and 5 deletions
@@ -16,10 +16,10 @@
 apply from: "$rootProject.projectDir/gradle/javaProject.gradle"
 apply from: "$rootProject.projectDir/gradle/jacocoProject.gradle"
 apply from: "$rootProject.projectDir/gradle/javaTestProject.gradle"
-apply from: "$rootProject.projectDir/gradle/distributableGhidraModule.gradle"
+apply from: "$rootProject.projectDir/gradle/distributableGhidraExtension.gradle"
 apply plugin: 'eclipse'
-eclipse.project.name = 'Debug SymbolicSummaryZ3'
+eclipse.project.name = 'Xtra SymbolicSummaryZ3'
 ext.Z3_VER = "4.13.0"
 ext.Z3_ARM64_OSX_VER = "11.0"
@@ -126,11 +126,11 @@ task z3DevUnpackPlatforms(type: Copy) {
 	destinationDir file("build/os")
 }
-rootProject.assembleDistribution {
+zipExtensions {
-	into(getZipPath(this.project) + "/os") {
+	into(getBaseProjectName(this.project) + "/os") {
 		with z3CopySpec
 	}
-	into(getZipPath(this.project)) {
+	into(getBaseProjectName(this.project)) {
 		from(this.project.file(".")) {
 			include("README.md")
 		}
--- a/Show More
+++ b/Show More