diff options
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r-- | gnu/packages/maths.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 27ca2d5f18..62bbdc274a 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3894,7 +3894,7 @@ language understood by many solvers.") `(#:modules ((ice-9 match) (ice-9 popen) (srfi srfi-1) - ,@%gnu-build-system-modules) + ,@%default-gnu-imported-modules) #:phases (modify-phases %standard-phases (replace 'configure @@ -5883,7 +5883,7 @@ set.") (list openblas lapack)) (arguments `(#:modules ((srfi srfi-1) - ,@%gnu-build-system-modules) + ,@%default-gnu-imported-modules) #:configure-flags '("--enable-shared" "--disable-fortran" "--without-MPI" @@ -6385,7 +6385,7 @@ theories} (SMT) solver. It provides a C/C++ API, as well as Python bindings.") (build-system gnu-build-system) (arguments `(#:imported-modules ((guix build python-build-system) - ,@%gnu-build-system-modules) + ,@%default-gnu-imported-modules) #:modules (((guix build python-build-system) #:select (site-packages)) (guix build gnu-build-system) (guix build utils)) @@ -7888,7 +7888,7 @@ symbolic reasoning engines that need to reason about polynomial constraints.") (arguments (list #:test-target "test" #:modules `((ice-9 match) - ,@%gnu-build-system-modules) + ,@%default-gnu-imported-modules) #:configure-flags #~(list "--aiger=.") #:phases #~(modify-phases %standard-phases |