summary refs log tree commit diff
path: root/pkgs/development/libraries/flint/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/libraries/flint/default.nix')
-rw-r--r--pkgs/development/libraries/flint/default.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/flint/default.nix b/pkgs/development/libraries/flint/default.nix
index 48d7735498c..3c768fc472c 100644
--- a/pkgs/development/libraries/flint/default.nix
+++ b/pkgs/development/libraries/flint/default.nix
@@ -5,11 +5,11 @@
 , mpir
 , mpfr
 , ntl
-, openblas ? null
+, openblas ? null, blas, lapack
 , withBlas ? true
 }:
 
-assert withBlas -> openblas != null;
+assert withBlas -> openblas != null && blas.implementation == "openblas" && lapack.implementation == "openblas";
 
 stdenv.mkDerivation rec {
   pname = "flint";