[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add guile-minikanren
From: |
Andreas Enge |
Subject: |
Re: Add guile-minikanren |
Date: |
Thu, 23 Apr 2015 15:17:51 +0200 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Wed, Apr 22, 2015 at 10:15:27AM -0500, Christopher Allan Webber wrote:
> Here's a patch to add minikanren via ijp's port to r6rs packaging to
> Guix. It's my first Guix patch... I hope I did okay!
Thanks for contributing!
> I named it guile-minikanren which isn't really accurate. I'm not sure
> how else I could name it though? I'd be open to suggestions!
There is a chapter in the documentation about this:
https://www.gnu.org/software/guix/manual/guix.html#Package-Naming
The main idea is to not think too much, but to simply use the upstream
project name. Here this seems to be "minikanren" without "guile-".
We have special rules for perl and python; maybe we also need a special
rule for guile?
> + (source (origin
> + (method git-fetch)
> + (uri (git-reference
> + (url "https://github.com/ijp/minikanren.git")
> + (commit "10d507785eab30b0f8b47bf8bb37d880731fc031")))
Is there no tarball? If possiblem we would prefer this.
> + ;; sha256 goes here
Can be dropped.
> + (native-inputs `(("guile" ,guile-2.0)))
"native-inputs" are used during the build of the package, which is not
the case here. Is guile needed at all as an input?
> + (synopsis "The miniKanren declarative logic system, ported to Guile")
Do not start with an article, how about
"Guile implementation of the miniKanren domain specific language" ?
> + "MiniKanren is a relational programming extension to the Scheme
> +programming Language, written as a smaller version of Kanren suitable for
> +pedagogical purposes. It is featured in the book, The Reasoned Schemer,
Use two spaces after ".". For such questions, you can run
./pre-inst-env guix lint PACKAGE
Concerning the content, I let the scheme specialists pronounce themselves.
Andreas
- Add guile-minikanren, Christopher Allan Webber, 2015/04/22
- Re: Add guile-minikanren,
Andreas Enge <=
- Re: Add guile-minikanren, Taylan Ulrich Bayırlı/Kammer, 2015/04/23
- Re: Add guile-minikanren, Thompson, David, 2015/04/23
- Re: Add guile-minikanren, Andreas Enge, 2015/04/23
- Re: Add guile-minikanren, Ludovic Courtès, 2015/04/23
- Re: Add guile-minikanren, Eric Bavier, 2015/04/23
- Re: Add guile-minikanren, Andreas Enge, 2015/04/23
- Re: Add guile-minikanren, Ludovic Courtès, 2015/04/23
- Re: Add guile-minikanren, Christopher Allan Webber, 2015/04/23
- Re: Add guile-minikanren, Christopher Allan Webber, 2015/04/25
- Re: Add guile-minikanren, David Thompson, 2015/04/26