mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-24 21:38:07 -05:00
gnu: python-clorm: Reindent with emacs.
* gnu/packages/potassco.scm (python-clorm): Reindent with emacs.
This commit is contained in:
parent
9f85c0cdb1
commit
77b3607653
1 changed files with 29 additions and 29 deletions
|
@ -406,38 +406,38 @@ (define-public python-clingo-dl
|
||||||
|
|
||||||
(define-public python-clorm
|
(define-public python-clorm
|
||||||
(package
|
(package
|
||||||
(name "python-clorm")
|
(name "python-clorm")
|
||||||
(version "1.4.1")
|
(version "1.4.1")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method git-fetch)
|
(method git-fetch)
|
||||||
(uri (git-reference
|
(uri (git-reference
|
||||||
(url "https://github.com/potassco/clorm")
|
(url "https://github.com/potassco/clorm")
|
||||||
(commit (string-append "v" version))))
|
(commit (string-append "v" version))))
|
||||||
(file-name (git-file-name name version))
|
(file-name (git-file-name name version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5"))))
|
"0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5"))))
|
||||||
(build-system pyproject-build-system)
|
(build-system pyproject-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
(list #:phases
|
(list #:phases
|
||||||
#~(modify-phases %standard-phases
|
#~(modify-phases %standard-phases
|
||||||
(add-before 'check 'fix-breaking-tests
|
(add-before 'check 'fix-breaking-tests
|
||||||
(lambda _
|
(lambda _
|
||||||
;; noclingo tests rely on this being set
|
;; noclingo tests rely on this being set
|
||||||
(setenv "CLORM_NOCLINGO" "1")
|
(setenv "CLORM_NOCLINGO" "1")
|
||||||
(delete-file "tests/test_mypy_query.py")
|
(delete-file "tests/test_mypy_query.py")
|
||||||
(substitute* "tests/test_clingo.py"
|
(substitute* "tests/test_clingo.py"
|
||||||
(("self\\.assertTrue\\(os_called\\)" all)
|
(("self\\.assertTrue\\(os_called\\)" all)
|
||||||
(string-append "# " all))))))))
|
(string-append "# " all))))))))
|
||||||
(propagated-inputs (list python-clingo))
|
(propagated-inputs (list python-clingo))
|
||||||
(native-inputs (list python-typing-extensions))
|
(native-inputs (list python-typing-extensions))
|
||||||
(home-page "https://potassco.org")
|
(home-page "https://potassco.org")
|
||||||
(synopsis "Object relational mapping to clingo")
|
(synopsis "Object relational mapping to clingo")
|
||||||
(description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM,
|
(description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM,
|
||||||
Object Relational Mapping} interface to the @acronym{ASP, answer set
|
Object Relational Mapping} interface to the @acronym{ASP, answer set
|
||||||
programming} solver clingo. Its goal is to make integration of clingo
|
programming} solver clingo. Its goal is to make integration of clingo
|
||||||
into Python programs easier.")
|
into Python programs easier.")
|
||||||
(license license:expat)))
|
(license license:expat)))
|
||||||
|
|
||||||
(define-public python-telingo
|
(define-public python-telingo
|
||||||
(package
|
(package
|
||||||
|
|
Loading…
Reference in a new issue