From 73097c34e763ba576a8fce21b1c09a67a91aa072 Mon Sep 17 00:00:00 2001
From: Charles <charles.b.jackson@protonmail.com>
Date: Sat, 26 Jun 2021 09:50:35 -0500
Subject: [PATCH] gnu: Add cl-unification.
* gnu/packages/lisp-xyz.scm (sbcl-unification): Add new variable.
* gnu/packages/lisp-xyz.scm (ecl-unification): Add new variable.
* gnu/packages/lisp-xyz.scm (cl-unification): Add new variable.
---
gnu/packages/lisp-xyz.scm | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
@@ -9890,6 +9890,36 @@ correctly.")
(define-public ecl-trivialib-type-unify
(sbcl-package->ecl-package sbcl-trivialib-type-unify))
+(define-public sbcl-cl-unification
+ (package
+ (name "sbcl-cl-unification")
+ (version "20200820")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://gitlab.common-lisp.net/cl-unification/cl-unification")
+ (commit "01079f34d197495880aa49ab727d63774d83035c")))
+ (file-name (git-file-name "cl-unification" version))
+ (sha256
+ (base32 "0nhqamn3qgg38i6aw2pshffdwr2hzslycg8ficmn333gw0h9rf4g"))))
+ (build-system asdf-build-system/sbcl)
+ (inputs
+ `(("sbcl-ptester" ,sbcl-ptester)))
+ (home-page "http://common-lisp.net/project/cl-unification")
+ (synopsis "Provide a full blown unification framework for Common Lisp")
+ (description "Unify arbitrary Common Lisp objects while constructing
+bindings for placeholders (unification variables) in a template
+sublanguage. Unify two objects with a simmilar shape, one having some
+unification variables to resolve (unify) the values of the variables.")
+ (license license:bsd-0)))
+
+(define-public ecl-cl-unification
+ (sbcl-package->ecl-package sbcl-cl-unification))
+
+(define-public cl-unification
+ (sbcl-package->cl-source-package sbcl-cl-unification))
+
(define-public sbcl-specialized-function
(let ((commit "5e2b04432bdf728496e6ff7227f210f845af7247")
(revision "3"))
--
2.32.0