From c1400861689b7a76f7cc237e52cbfc396672f329 Mon Sep 17 00:00:00 2001
From: sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org>
Date: Sat, 7 Aug 2021 14:38:45 +0200
Subject: [PATCH] haskellPackages.libBF: use packaged libbf

---
 pkgs/development/haskell-modules/configuration-nix.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix
index ef0bd0656ffd3..7a0f4ab297660 100644
--- 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 []);
+  });
+
 }