diff options
Diffstat (limited to 'gnu/packages/dezyne.scm')
| -rw-r--r-- | gnu/packages/dezyne.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/dezyne.scm b/gnu/packages/dezyne.scm index ecf4431bcc..1cbcbfa4c2 100644 --- a/gnu/packages/dezyne.scm +++ b/gnu/packages/dezyne.scm @@ -56,7 +56,7 @@ (arguments (list #:modules `((ice-9 popen) - ,@%gnu-build-system-modules) + ,@%default-gnu-imported-modules) #:phases #~(modify-phases %standard-phases (add-before 'configure 'setenv @@ -132,7 +132,7 @@ has formal semantics expressed in @url{https://mcrl2.org,mCRL2}.") (arguments (list #:modules `((ice-9 popen) - ,@%gnu-build-system-modules) + ,@%default-gnu-imported-modules) #:phases #~(modify-phases %standard-phases (add-before 'configure 'setenv |