From 57b55b51ee6a1d4678ba37e4631d61a248411ff2 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Thu, 11 Jun 2026 00:42:33 +0000 Subject: 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 --- flake.nix | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'flake.nix') diff --git a/flake.nix b/flake.nix index 67b905c..98c7044 100644 --- a/flake.nix +++ b/flake.nix @@ -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}" -- cgit v1.2.3