diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-06-11 00:42:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-11 00:42:33 +0000 |
| commit | 57b55b51ee6a1d4678ba37e4631d61a248411ff2 (patch) | |
| tree | d8914aae376e7a4625e2d1d6c12beb2f0baf61ed /flake.nix | |
| parent | 8106d31690dad61ee0ec649ae6de7f4e3fe1830e (diff) | |
| download | Sakura-57b55b51ee6a1d4678ba37e4631d61a248411ff2.tar.gz Sakura-57b55b51ee6a1d4678ba37e4631d61a248411ff2.zip | |
Migrate the plan action constructors over to the unified interface (#73)
* Bump `RNT` to a version including the new unified planner interface
* Use the new unified planner interface
* github workflow
* Revert "github workflow"
This reverts commit 294b35a81569819047d4af173000b4ff7bc5d6a6.
* But do keep the flake changes
---------
Co-authored-by: Marcos Magueta <maguetamarcos@gmail.com>
Diffstat (limited to 'flake.nix')
| -rw-r--r-- | flake.nix | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -8,7 +8,7 @@ type = "github"; owner = "mmagueta"; repo = "RNT"; - ref = "branching"; + ref = "5174fc2"; inputs.nixpkgs.follows = "nixpkgs"; }; }; @@ -40,6 +40,7 @@ (nix-filter.lib.inDirectory "bplustree") (nix-filter.lib.inDirectory "bin") (nix-filter.lib.inDirectory "lib") + (nix-filter.lib.inDirectory "prl_api") (nix-filter.lib.inDirectory "shared") (nix-filter.lib.inDirectory "test") ]; @@ -97,6 +98,11 @@ buildPhase = patchDuneCommand oldAttrs.buildPhase; checkPhase = patchDuneCommand oldAttrs.checkPhase; installPhase = "touch $out"; + preCheck = '' + export CAML_LD_LIBRARY_PATH="${rnt}/lib''${CAML_LD_LIBRARY_PATH:+:$CAML_LD_LIBRARY_PATH}" + export LD_LIBRARY_PATH="${rnt}/lib''${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}" + export DYLD_LIBRARY_PATH="${rnt}/lib''${DYLD_LIBRARY_PATH:+:$DYLD_LIBRARY_PATH}" + ''; }); dune-fmt = legacyPackages.runCommand "check-dune-fmt" { @@ -188,7 +194,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}" |