feat: Output shared library in flake

2024-03-06 15:26:35 -08:00 · 2024-03-06 15:26:35 -08:00 · 93b7d8b67d
parent cb0712ccf6
commit 93b7d8b67d
1 changed files with 4 additions and 3 deletions
--- a/flake.nix
+++ b/flake.nix
@ -28,9 +28,10 @@
        src = ./.;
      };
    in rec {
-      packages = project // {
-        inherit leanPkgs;
-        default = packages.executable;
+      packages = {
+        inherit (leanPkgs) lean lean-all;
+        inherit (project) sharedLib executable;
+        default = project.executable;
      };
      devShells.default = project.devShell;
    };