[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/07: gnu: Add python-clorm.
From: |
guix-commits |
Subject: |
04/07: gnu: Add python-clorm. |
Date: |
Sun, 19 Feb 2023 02:23:38 -0500 (EST) |
lilyp pushed a commit to branch master
in repository guix.
commit eb96e148ca50fde3068f365ab4ebb6ab6dbf3dea
Author: Liliana Marie Prikler <liliana.prikler@gmail.com>
AuthorDate: Sat Feb 11 15:51:56 2023 +0100
gnu: Add python-clorm.
* gnu/packages/maths.scm (python-clorm): New variable.
---
gnu/packages/maths.scm | 35 +++++++++++++++++++++++++++++++++++
1 file changed, 35 insertions(+)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index fc85560114..1e40be8722 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -2737,6 +2737,41 @@ satisfiability checking (SAT).")
making it so that you can write @acronym{ASPs, Answer Set Programs} through
Python code.")))
+(define-public python-clorm
+ (package
+ (name "python-clorm")
+ (version "1.4.1")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/potassco/clorm")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5"))))
+ (build-system pyproject-build-system)
+ (arguments
+ (list #:phases
+ #~(modify-phases %standard-phases
+ (add-before 'check 'fix-breaking-tests
+ (lambda _
+ ;; noclingo tests rely on this being set
+ (setenv "CLORM_NOCLINGO" "1")
+ (delete-file "tests/test_mypy_query.py")
+ (substitute* "tests/test_clingo.py"
+ (("self\\.assertTrue\\(os_called\\)" all)
+ (string-append "# " all))))))))
+ (propagated-inputs (list python-clingo))
+ (native-inputs (list python-typing-extensions))
+ (home-page "https://potassco.org")
+ (synopsis "Object relational mapping to clingo")
+ (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM,
+Object Relational Mapping} interface to the @acronym{ASP, answer set
+programming} solver clingo. Its goal is to make integration of clingo
+into Python programs easier.")
+ (license license:expat)))
+
(define-public python-telingo
(package
(name "python-telingo")
- branch master updated (037c1b254a -> 877df1765a), guix-commits, 2023/02/19
- 03/07: gnu: python-clingo: Install distribution information., guix-commits, 2023/02/19
- 05/07: gnu: Add emacs-pasp-mode., guix-commits, 2023/02/19
- 01/07: gnu: dino: Update to 0.4.0., guix-commits, 2023/02/19
- 02/07: gnu: racket: Update to 8.8., guix-commits, 2023/02/19
- 04/07: gnu: Add python-clorm.,
guix-commits <=
- 07/07: gnu: guile-filesystem: Update to 0.2.0., guix-commits, 2023/02/19
- 06/07: gnu: hyfetch: Update to 1.4.6., guix-commits, 2023/02/19