diff options
Diffstat (limited to '')
| -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}" |