diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-06-06 01:47:07 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-06-06 01:47:07 +0000 |
| commit | cd98683172761ec9659ad981769b0900913acc3c (patch) | |
| tree | 4a8033aa931e09f6271215315dcbfcb626d67f67 /flake.nix | |
| parent | 8106d31690dad61ee0ec649ae6de7f4e3fe1830e (diff) | |
| download | Sakura-cd98683172761ec9659ad981769b0900913acc3c.tar.gz Sakura-cd98683172761ec9659ad981769b0900913acc3c.zip | |
Bump `RNT` to a version including the new unified planner interface
Diffstat (limited to 'flake.nix')
| -rw-r--r-- | flake.nix | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -8,7 +8,7 @@ type = "github"; owner = "mmagueta"; repo = "RNT"; - ref = "branching"; + ref = "5174fc2"; inputs.nixpkgs.follows = "nixpkgs"; }; }; @@ -188,7 +188,7 @@ legacyPackages.coqPackages.stdlib legacyPackages.z3 ]; - + shellHook = '' export CAML_LD_LIBRARY_PATH="''${CAML_LD_LIBRARY_PATH:+$CAML_LD_LIBRARY_PATH:}$(ocamlfind query num)" export RNT_ROOT="${rnt}" |