summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-04-30 19:34:04 +0200
committerLudovic Courtès <ludo@gnu.org>2018-04-30 23:41:22 +0200
commitd58ee08dffe99b8fb0523cf2eeec1f337cccfb88 (patch)
treeb1bc7db2fbc018b6d7f5fe55a398f4ee13fc6a9d
parentd573d8926def81df5a42e232099534cda4a39739 (diff)
gnu: guile-minikanren: Switch to Guile 2.2.
* gnu/packages/guile.scm (guile-minikanren)[inputs]: Switch to GUILE-2.2. (guile2.0-minikanren): New variable. (guile2.2-minikanren): Define in terms of 'deprecated-package'.
-rw-r--r--gnu/packages/guile.scm7
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/packages/guile.scm b/gnu/packages/guile.scm
index fd6dd60026..a0d131b9ca 100644
--- a/gnu/packages/guile.scm
+++ b/gnu/packages/guile.scm
@@ -916,7 +916,7 @@ specification. These are the main features:
(install-file "README.org" doc)
#t))))
(inputs
- `(("guile" ,guile-2.0)))
+ `(("guile" ,guile-2.2)))
(home-page "https://github.com/ijp/minikanren")
(synopsis "MiniKanren declarative logic system, packaged for Guile")
(description
@@ -931,8 +931,11 @@ slightly from miniKanren mainline.
See http://minikanren.org/ for more on miniKanren generally.")
(license license:expat)))
+(define-public guile2.0-minikanren
+ (package-for-guile-2.0 guile-minikanren))
+
(define-public guile2.2-minikanren
- (package-for-guile-2.2 guile-minikanren))
+ (deprecated-package "guile2.2-minikanren" guile-minikanren))
(define-public guile-miniadapton
(let ((commit "1b5749422304567c96ac5367f2221dda9eff5880")