From 73097c34e763ba576a8fce21b1c09a67a91aa072 Mon Sep 17 00:00:00 2001 From: Charles 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(+) diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm index f8aae805ed..ef5e445d7d 100644 --- a/gnu/packages/lisp-xyz.scm +++ b/gnu/packages/lisp-xyz.scm @@ -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