diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2020-05-15 22:54:33 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2020-05-15 23:24:49 +0200 |
commit | a7b20226b2bf1a73b8f0f6536e7fa43326f35e33 (patch) | |
tree | 6ee4a5ab3641225752b9be308034ebe2a2c585a1 | |
parent | 1c9403f6a6f5d544cda63c6cb81446c63f72321c (diff) |
gnu: python-libmpsse: Update to 1.4.1.
* gnu/packages/embedded.scm (python-libmpsse): Update to 1.4.1.
[arguments]<#:phases>[set-environment-up]:
Fix build with Python 3.8.
-rw-r--r-- | gnu/packages/embedded.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index 6ac1a2d7f3..8b40990ec1 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/embedded.scm @@ -1073,8 +1073,7 @@ the Raspberry Pi chip.")))) (chdir "src") (setenv "PYDEV" (string-append python "/include/python" - ,(version-major+minor (package-version python)) - "m")) + ,(version-major+minor (package-version python)))) #t))) (replace 'install (lambda* (#:key inputs outputs make-flags #:allow-other-keys #:rest args) |