gnu: python-websockets: Fix Python package name.

* gnu/packages/python-web.scm (python-websockets) [arguments]: Add new
phase to fix package name.
This commit is contained in:
Lars-Dominik Braun 2021-01-07 13:49:01 +01:00 committed by Maxim Cournoyer
parent 774277ac79
commit 9dd5fa2ea6
No known key found for this signature in database
GPG key ID: 1260E46482E63562

View file

@ -5087,7 +5087,15 @@ (define-public python-websockets
(base32
"03s3ml6sbki24aajllf8aily0xzrn929zxi84p50zkkbikdd4raw"))))
(build-system python-build-system)
(arguments '(#:tests? #f)) ; Tests not included in release tarball.
(arguments
'(#:tests? #f ; Tests not included in release tarball.
#:phases
(modify-phases %standard-phases
(add-after 'unpack 'fix-websockets-package-name-requirement
(lambda* (#:key inputs #:allow-other-keys)
;; Python package names use dot as separator.
(substitute* "setup.py"
(("websockets/extensions") "websockets.extensions")))))))
(home-page "https://github.com/aaugustin/websockets")
(synopsis
"Python implementation of the WebSocket Protocol (RFC 6455 & 7692)")