haskellPackages.libBF: use packaged libbf

sternenseemann · Aug 7, 2021 · c140086 · c140086
1 parent a7c98f8
commit c140086
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix
@@ -919,4 +919,14 @@ self: super: builtins.intersectAttrs super {
   # Flag added in Agda 2.6.2
   Agda = appendConfigureFlag super.Agda "-foptimise-heavily";
 
+  # Use nix packaged libBF
+  libBF = overrideCabal super.libBF (drv: {
+    librarySystemDepends = [
+      pkgs.libbf
+    ] ++ (drv.librarySystemDepends or []);
+    configureFlags = [
+      "-fsystem-libbf"
+    ] ++ (drv.configureFlags or []);
+  });
+
 }