Add zlib

AoECenter · May 13, 2024 · 2e0ebf1 · 2e0ebf1
1 parent 7ac51b6
commit 2e0ebf1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/relic-sdk.opam b/relic-sdk.opam
@@ -23,7 +23,7 @@ depends: [
   "bisect_ppx" {with-test & >= "2.3.0"}
   "ocamlformat" {with-dev-setup & >= "0.26.1"}
   "base" {>= "v0.12.0"}
-  "dune" {>= "3.10"}
+  "dune" {>= "3.10" & >= "3.15.0"}
   "dune-build-info"
   "odoc" {with-doc}
 ]

diff --git a/shell.nix b/shell.nix
@@ -12,5 +12,10 @@ pkgs.mkShell{
     openssl
     ocamlPackages.ocamlformat
     pkg-config
+    zlib
   ];
+  shellHook = ''
+    export C_INCLUDE_PATH=${pkgs.zlib.dev}/include:$C_INCLUDE_PATH
+    export LIBRARY_PATH=${pkgs.zlib}/lib:$LIBRARY_PATH
+  '';
 }