diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-03 16:04:05 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-04-03 16:04:05 -0300 |
| commit | c5bc3a4992b4968780c286a084ad7c02b2b58f1e (patch) | |
| tree | 08968488ad87aeb37fb0178d063816b7765d546c /flake.nix | |
| parent | 013cbf09e4ea9871311bf52b6873c43fc9be5441 (diff) | |
| download | Sakura-c5bc3a4992b4968780c286a084ad7c02b2b58f1e.tar.gz Sakura-c5bc3a4992b4968780c286a084ad7c02b2b58f1e.zip | |
Polarity walker, constraint and manipulation refactor with batteries
Diffstat (limited to '')
| -rw-r--r-- | flake.nix | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -109,6 +109,8 @@ ppx_sexp_conv lwt lwt-exit + batteries + num ]); strictDeps = true; @@ -272,6 +274,8 @@ # legacyPackages.nixfmt-classic ocamlPackages.lwt ocamlPackages.lwt-exit + ocamlPackages.batteries + ocamlPackages.num ppx_protocol_conv ppx_protocol_conv_xml_light ocamlPackages.earlybird @@ -283,6 +287,7 @@ shellHook = '' + export CAML_LD_LIBRARY_PATH="''${CAML_LD_LIBRARY_PATH:+$CAML_LD_LIBRARY_PATH:}$(ocamlfind query num)" # echo MERKLECPP_INCLUDE_PATH=$MERKLECPP_INCLUDE_PATH echo LIBRESSL_INCLUDE_PATH=$LIBRESSL_INCLUDE_PATH echo LIBRESSL_LIB_PATH=$LIBRESSL_LIB_PATH |