From 075bec6da23ee2b4545e0b2865b7a134d64940d0 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Wed, 6 Mar 2024 15:26:35 -0800
Subject: [PATCH] feat: Output shared library in flake

---
 flake.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/flake.nix b/flake.nix
index 7610209..9f586f6 100644
--- 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;
     };