Export prelude.kore in Nix (#2522)

This exports `prelude-kore` so that the frontend can find `prelude.kore`
independent of the submodule where the backend resides.

Co-authored-by: rv-jenkins <[email protected]>

Author: ttuegel

default.nix

@@ -74,18 +74,21 @@ let
 
   version = project.kore.components.exes.kore-exec.version;
 
+  prelude-kore = ./src/main/kore/prelude.kore;
+
   rematerialize = pkgs.writeScript "rematerialize.sh" ''
     #!/bin/sh
     ${project.stack-nix.passthru.updateMaterialized}
   '';
 
   default =
     {
-      inherit pkgs project rematerialize;
+      inherit pkgs prelude-kore project rematerialize;
       cache = [
         project.roots
         (pkgs.haskell-nix.withInputs shell)
       ];
+
       kore = pkgs.symlinkJoin {
         name = "kore-${version}";
         paths = pkgs.lib.attrValues project.kore.components.exes;