Build with Nix

.editorconfig

@@ -0,0 +1,2 @@
+[*.{kt,kts}]
+ktlint_standard_no-wildcard-imports = disabled

.envrc

@@ -0,0 +1,2 @@
+watch_file *.nix
+use flake . 

.gitignore

@@ -5,10 +5,7 @@ build/
 !**/src/test/**/build/
 
 ### IntelliJ IDEA ###
-.idea/modules.xml
-.idea/jarRepositories.xml
-.idea/compiler.xml
-.idea/libraries/
+.idea
 *.iws
 *.iml
 *.ipr
@@ -39,4 +36,6 @@ bin/
 .vscode/
 
 ### Mac OS ###
-.DS_Store
+.DS_Store
+
+/result

build.gradle.kts

@@ -1,32 +1,40 @@
 import org.jetbrains.kotlin.gradle.tasks.KotlinCompile
 
+allprojects {
+    repositories {
+        System.getenv()["NIX_MAVEN_REPO"]?.let {
+            mavenLocal {
+                url = uri(it)
+                metadataSources {
+                    mavenPom()
+                    gradleMetadata()
+                }
+            }
+        }
+            ?: run { mavenCentral() }
+    }
+}
+
 plugins {
-    kotlin("jvm") version "1.8.21"
-    kotlin("plugin.serialization") version "1.9.0"
+    kotlin("jvm") version "1.9.23"
+    // kotlin("plugin.serialization") version "1.9.23"
     application
 }
 
-group = "org.example"
-version = "1.0-SNAPSHOT"
+group = "io.quickstrom"
 
-repositories {
-    mavenCentral()
-}
+version = "0.1.0"
 
 dependencies {
-    testImplementation(kotlin("test"))
     implementation("org.nineml:coffeegrinder:3.2.1")
-    implementation("org.jetbrains.kotlinx:kotlinx-serialization-json:1.5.1")
+    // implementation("org.jetbrains.kotlinx:kotlinx-serialization-json:1.5.1")
+    testImplementation(kotlin("test"))
+    testImplementation("io.kotest:kotest-runner-junit5:5.8.0")
+    testImplementation("io.kotest:kotest-assertions-core:5.8.0")
 }
 
-tasks.test {
-    useJUnitPlatform()
-}
+tasks.test { useJUnitPlatform() }
 
-tasks.withType<KotlinCompile> {
-    kotlinOptions.jvmTarget = "1.8"
-}
+tasks.withType<KotlinCompile> { kotlinOptions.jvmTarget = "21" }
 
-application {
-    mainClass.set("MainKt")
-}
+application { mainClass.set("MainKt") }

build.nix

@@ -0,0 +1,57 @@
+{ lib, stdenv, jdk, gradle_8, ktlint, callPackage }:
+let
+
+  buildMavenRepo = callPackage ./maven-repo.nix { };
+
+  mavenRepo = buildMavenRepo {
+    name = "nix-maven-repo";
+    repos = [
+      "https://repo1.maven.org/maven2"
+      "https://plugins.gradle.org/m2"
+      "https://maven.pkg.jetbrains.space/kotlin/p/kotlin/dev"
+    ];
+    deps = builtins.fromJSON (builtins.readFile ./deps.json);
+  };
+in stdenv.mkDerivation {
+  pname = "specstrom";
+  version = "0.1.0";
+
+  src = ./.;
+
+  nativeBuildInputs = [ gradle_8 ktlint ];
+
+  JDK_HOME = "${jdk.home}";
+
+  buildPhase = ''
+    runHook preBuild
+    export GRADLE_USER_HOME=$(mktemp -d)
+    export NIX_MAVEN_REPO=${mavenRepo}
+    gradle build -x test \
+      --offline --no-daemon \
+      --warning-mode=all --parallel --console=plain \
+      -PnixMavenRepo=${mavenRepo}
+    runHook postBuild
+  '';
+
+  doCheck = true;
+  checkPhase = ''
+    runHook preCheck
+    ktlint src/**/*.kt
+    export GRADLE_USER_HOME=$TMP/gradle-home
+    export NIX_MAVEN_REPO=${mavenRepo}
+    gradle check \
+      --offline --no-daemon \
+      --warning-mode=all --parallel --console=plain \
+      -PnixMavenRepo=${mavenRepo}
+    runHook postCheck
+  '';
+
+  installPhase = ''
+    runHook preInstall
+    mkdir -p $out
+    cp -r build/distributions/* $out
+    runHook postInstall
+  '';
+
+  dontStrip = true;
+}