mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-01-23 18:56:43 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add cl-unification.

Browse source 
* gnu/packages/lisp-xyz.scm (sbcl-cl-unification, ecl-cl-unification,
  cl-unification): New variables.

Co-authored-by: Guillaume Le Vaillant <glv@posteo.net>
This commit is contained in:
Charles 2021-06-26 09:50:35 -05:00 committed by Guillaume Le Vaillant
parent 07d47e34da
commit e2e17903fb
No known key found for this signature in database
GPG key ID: 6BE8208ADF21FE3F
1 changed files with 42 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

42
gnu/packages/lisp-xyz.scm
View file

@ -9899,6 +9899,48 @@ (define-public cl-trivialib-type-unify
(define-public ecl-trivialib-type-unify
(sbcl-package->ecl-package sbcl-trivialib-type-unify))
(define-public sbcl-cl-unification
(let ((commit "01079f34d197495880aa49ab727d63774d83035c")
(revision "1"))
(package
(name "sbcl-cl-unification")
(version (git-version "0.0.0" revision commit))
(source
(origin
(method git-fetch)
(uri (git-reference
(url "https://gitlab.common-lisp.net/cl-unification/cl-unification")
(commit commit)))
(file-name (git-file-name "cl-unification" version))
(sha256
(base32 "0nhqamn3qgg38i6aw2pshffdwr2hzslycg8ficmn333gw0h9rf4g"))))
(build-system asdf-build-system/sbcl)
(native-inputs
`(("ptester" ,sbcl-ptester)))
(inputs
`(("cl-ppcre" ,sbcl-cl-ppcre)))
(home-page "https://common-lisp.net/project/cl-unification/")
(synopsis "Unification framework for Common Lisp")
(description
"This package provides a framework to unify arbitrary
Common Lisp objects while constructing bindings for placeholders
(unification variables) in a template sublanguage.")
(license license:bsd-0))))
(define-public ecl-cl-unification
(let ((pkg (sbcl-package->ecl-package sbcl-cl-unification)))
(package
(inherit pkg)
(arguments
(substitute-keyword-arguments (package-arguments pkg)
;; The tests fail on ECL with:
;; "In MAKE-ARRAY: the elements in :INITIAL-CONTENTS do not match
;; the array dimensions."
((#:tests? _ #f) #f))))))
(define-public cl-unification
(sbcl-package->cl-source-package sbcl-cl-unification))
(define-public sbcl-specialized-function
(let ((commit "5e2b04432bdf728496e6ff7227f210f845af7247")
(revision "3"))