diff options
Diffstat (limited to 'gnu/packages/dezyne.scm')
| -rw-r--r-- | gnu/packages/dezyne.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/dezyne.scm b/gnu/packages/dezyne.scm index ecf4431bcc..36678223ed 100644 --- a/gnu/packages/dezyne.scm +++ b/gnu/packages/dezyne.scm @@ -48,6 +48,7 @@ scmackerel)) (inputs (list bash-minimal guile-3.0 + (libc-utf8-locales-for-target) mcrl2-minimal pth sed)) @@ -56,7 +57,7 @@ (arguments (list #:modules `((ice-9 popen) - ,@%gnu-build-system-modules) + ,@%default-gnu-modules) #:phases #~(modify-phases %standard-phases (add-before 'configure 'setenv @@ -132,7 +133,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 |