me
/
guix
Archived
1
0
Fork 0
Code

gnu: python-clingo: Install distribution information. 

* gnu/packages/maths.scm (python-clingo)[#:phases]: Add ‘install-distinfo’.
master
Liliana Marie Prikler 2023-02-11 15:50:34 +01:00
parent b5326763c7
commit 8285093cee
No known key found for this signature in database
GPG Key ID: 442A84B8C70E2F87
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gnu/packages/maths.scm
View File

@ -2717,7 +2717,17 @@ satisfiability checking (SAT).")
(("ctl\\.solve\\(on_statistics=on_statistics\\)" all)
(string-append
all
"; self.skipTest(\"You shall not fail.\")")))))))))
"; self.skipTest(\"You shall not fail.\")")))))
(add-after 'install 'install-distinfo
(lambda* (#:key inputs outputs #:allow-other-keys)
(with-directory-excursion (python:site-packages inputs outputs)
(let ((dir (string-append "clingo-" #$version ".dist-info")))
(mkdir-p dir)
(call-with-output-file (string-append dir "/METADATA")
(lambda (port)
(format port "Metadata-Version: 1.1~%")
(format port "Name: clingo~%")
(format port "Version: ~a~%" #$version)))))))))))
(inputs (list clingo python-wrapper))
(propagated-inputs (list python-cffi))
(native-inputs (modify-inputs (package-native-inputs clingo)