Add Nix flake derivation

default.nix

@@ -1,14 +1,15 @@
 let
   sources = import ./nix/sources.nix;
-  pinned = import sources."nixpkgs" { config = {}; overlays = [ ( import ./nix/overlays/z3.nix ) ]; };
-in
+  pinned = import sources."nixpkgs" {
+    config = { };
+    overlays = [ (import ./nix/overlays/z3.nix) ];
+  };
 
-{ pkgs ? pinned
+in { pkgs ? pinned
 
-# Build an optimized release package.
-# Currently requires dependents to use LTO. Use sparingly.
-, release ? false
-}:
+  # Build an optimized release package.
+  # Currently requires dependents to use LTO. Use sparingly.
+, release ? false }:
 
 let
   inherit (pkgs) callPackage;
@@ -25,19 +26,41 @@ let
       subDir = "llvm-backend/src/main/native/llvm-backend";
     };
   };
-  inherit (llvm-backend-project) clang llvm-backend;
+  inherit (llvm-backend-project) llvm-backend;
+  inherit (pkgs) clang;
 
   k = callPackage ./nix/k.nix {
+    src = ttuegel.cleanSourceWith {
+      name = "k";
+      src = ttuegel.cleanGit {
+        src = ./.;
+        name = "k";
+      };
+      ignore = [
+        "result*"
+        "nix/"
+        "*.nix"
+        "haskell-backend/src/main/native/haskell-backend/*"
+        "llvm-backend/src/main/native/llvm-backend/*"
+        "!llvm-backend/src/main/native/llvm-backend/matching" # need pom.xml
+        "k-distribution/tests/regression-new"
+      ];
+    };
     inherit haskell-backend llvm-backend mavenix prelude-kore;
-    inherit (ttuegel) cleanGit cleanSourceWith;
+    debugger =
+      if pkgs.system == "x86_64-darwin" || pkgs.system == "aarch64-darwin" then
+        pkgs.lldb
+      else
+        pkgs.gdb;
   };
 
-  haskell-backend-project = import ./haskell-backend/src/main/native/haskell-backend {
-    src = ttuegel.cleanGitSubtree {
-      src = ./.;
-      subDir = "haskell-backend/src/main/native/haskell-backend";
+  haskell-backend-project =
+    import ./haskell-backend/src/main/native/haskell-backend {
+      src = ttuegel.cleanGitSubtree {
+        src = ./.;
+        subDir = "haskell-backend/src/main/native/haskell-backend";
+      };
     };
-  };
   haskell-backend = haskell-backend-project.kore;
   inherit (haskell-backend-project) prelude-kore;