aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--flake.nix6
1 files changed, 6 insertions, 0 deletions
diff --git a/flake.nix b/flake.nix
index 286dee9..98c7044 100644
--- a/flake.nix
+++ b/flake.nix
@@ -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" {