Build an externalized test runner

tudo-aqua · Feb 11, 2024 · 99eb54b · 99eb54b
1 parent 472929d
commit 99eb54b
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 2 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -17,6 +17,8 @@ import com.diffplug.gradle.spotless.KotlinExtension
 import com.diffplug.gradle.spotless.KotlinGradleExtension
 import com.github.benmanes.gradle.versions.updates.DependencyUpdatesTask
 import de.undercouch.gradle.tasks.download.Download
+import org.gradle.api.file.DuplicatesStrategy.EXCLUDE
+import org.gradle.api.plugins.BasePlugin.BUILD_GROUP
 import org.gradle.api.publish.plugins.PublishingPlugin.PUBLISH_TASK_GROUP
 import org.gradle.api.tasks.testing.logging.TestLogEvent.FAILED
 import org.gradle.api.tasks.testing.logging.TestLogEvent.PASSED
@@ -212,7 +214,14 @@ sourceSets {
 
 repositories { mavenCentral() }
 
-dependencies { testImplementation(libs.junit.jupiter) }
+val testJar by configurations.registering {
+    extendsFrom(configurations.testRuntimeClasspath.get())
+}
+
+dependencies {
+    testImplementation(libs.junit.jupiter)
+    testJar(libs.junit.console)
+}
 
 java {
   toolchain {
@@ -250,6 +259,28 @@ tasks {
     exclude("*")
   }
 
+  val testRunner by
+      registering(Jar::class) {
+        group = BUILD_GROUP
+
+          destinationDirectory = layout.buildDirectory.dir("libs")
+          archiveClassifier = "test-runner"
+
+        from(
+            compileJava.map { it.destinationDirectory },
+            sourceSets.main.map { it.resources.sourceDirectories },
+            compileTestJava.map { it.destinationDirectory },
+            sourceSets.test.map { it.resources.sourceDirectories },
+            testJar.map { cp ->
+              cp.files.map { if (it.isDirectory()) it else zipTree(it) }
+            },
+            )
+          duplicatesStrategy = EXCLUDE
+          manifest {
+              attributes["Main-Class"] = "org.junit.platform.console.ConsoleLauncher"
+          }
+      }
+
   javadoc {
     (options as? StandardJavadocDocletOptions)?.apply {
       // disable doclint -- the Z3 JavaDoc contains invalid HTML5.

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -11,4 +11,5 @@ versions = { id = "com.github.ben-manes.versions", version = "0.51.0" }
 commons-io = { group = "commons-io", name = "commons-io", version = "2.15.1" }
 gradle-usePython = { group = "ru.vyarus", name = "gradle-use-python-plugin", version = "3.0.0" }
 javaparser = { group = "com.github.javaparser", name = "javaparser-core", version = "3.25.8" }
-junit-jupiter = { group = "org.junit.jupiter", name = "junit-jupiter", version = "5.10.1" }
+junit-console = { group = "org.junit.platform", name = "junit-platform-console", version = "1.10.2" }
+junit-jupiter = { group = "org.junit.jupiter", name = "junit-jupiter", version = "5.10.2" }