From: Andreas Enge <andreas@enge.fr>
To: Christopher Allan Webber <cwebber@dustycloud.org>
Cc: guix-devel@gnu.org
Subject: Re: Add guile-minikanren
Date: Thu, 23 Apr 2015 15:17:51 +0200 [thread overview]
Message-ID: <20150423131751.GA12941@debian.math.u-bordeaux1.fr> (raw)
In-Reply-To: <87wq14dwd9.fsf@earlgrey.lan>
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
next prev parent reply other threads:[~2015-04-23 13:18 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-04-22 15:15 Add guile-minikanren Christopher Allan Webber
2015-04-23 13:17 ` Andreas Enge [this message]
2015-04-23 13:44 ` Taylan Ulrich Bayırlı/Kammer
2015-04-23 13:46 ` Thompson, David
2015-04-23 13:52 ` Andreas Enge
2015-04-23 18:57 ` Ludovic Courtès
2015-04-23 19:48 ` Eric Bavier
2015-04-23 19:51 ` Andreas Enge
2015-04-23 21:10 ` Ludovic Courtès
2015-04-24 2:46 ` Christopher Allan Webber
2015-04-25 21:30 ` Christopher Allan Webber
2015-04-27 1:46 ` David Thompson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20150423131751.GA12941@debian.math.u-bordeaux1.fr \
--to=andreas@enge.fr \
--cc=cwebber@dustycloud.org \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.