build: configure main classes

aya-prover · May 27, 2024 · ad1c97c · ad1c97c
1 parent 2c43324
commit ad1c97c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/cli-console/build.gradle.kts b/cli-console/build.gradle.kts
@@ -2,6 +2,10 @@
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 import org.aya.gradle.CommonTasks
 
+val mainClassQName = "org.aya.cli.console.Main"
+CommonTasks.fatJar(project, mainClassQName)
+application.mainClass.set(mainClassQName)
+
 dependencies {
   api(project(":tools-repl"))
   api(project(":cli-impl"))