diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-04-30 19:34:04 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-04-30 23:41:22 +0200 |
| commit | d58ee08dffe99b8fb0523cf2eeec1f337cccfb88 (patch) | |
| tree | b1bc7db2fbc018b6d7f5fe55a398f4ee13fc6a9d /gnu/packages | |
| parent | d573d8926def81df5a42e232099534cda4a39739 (diff) | |
| download | patches-d58ee08dffe99b8fb0523cf2eeec1f337cccfb88.tar patches-d58ee08dffe99b8fb0523cf2eeec1f337cccfb88.tar.gz | |
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'.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/guile.scm | 7 |
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") |