From: Christopher Allan Webber <cwebber@dustycloud.org>
To: "Thompson, David" <dthompson2@worcester.edu>
Cc: guix-devel <guix-devel@gnu.org>
Subject: Re: Add guile-minikanren
Date: Sat, 25 Apr 2015 16:30:00 -0500 [thread overview]
Message-ID: <87y4lfj3ir.fsf@earlgrey.lan> (raw)
In-Reply-To: <87383qjk8y.fsf@earlgrey.lan>
[-- Attachment #1: Type: text/plain, Size: 199 bytes --]
Okay, I believe I've taken all feedback into account. Everything seems
to work right now, and it even compiles the files to .go files.
I think that's everything (but let me know if not!)
- Chris
[-- Attachment #2: 0001-gnu-Add-guile-minikanren.patch --]
[-- Type: text/x-diff, Size: 5509 bytes --]
From 85507e938f3ea95c33a490c716b6569384f47ade Mon Sep 17 00:00:00 2001
From: Christopher Allan Webber <cwebber@dustycloud.org>
Date: Tue, 21 Apr 2015 22:40:15 -0500
Subject: [PATCH] gnu: Add guile-minikanren.
* gnu/packages/guile.scm (guile-minikanren): New variable.
---
AUTHORS | 1 +
gnu/packages/guile.scm | 80 ++++++++++++++++++++++++++++++++++++++++++++++++++
2 files changed, 81 insertions(+)
diff --git a/AUTHORS b/AUTHORS
index fa1835b..e2dafe0 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -35,5 +35,6 @@ alphabetical order):
David Thompson <dthompson2@worcester.edu>
Paul van der Walt <paul@denknerd.org>
Mark H. Weaver <mhw@netris.org>
+ Christopher A. Webber <cwebber@dustycloud.org>
Andy Wingo <wingo@pobox.com>
Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
diff --git a/gnu/packages/guile.scm b/gnu/packages/guile.scm
index c605533..e2c8063 100644
--- a/gnu/packages/guile.scm
+++ b/gnu/packages/guile.scm
@@ -1,6 +1,7 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2012, 2013, 2014, 2015 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2014, 2015 Mark H Weaver <mhw@netris.org>
+;;; Copyright © 2015 Christopher Allan Webber <cwebber@dustycloud.org>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -36,7 +37,9 @@
#:use-module (gnu packages base)
#:use-module (guix packages)
#:use-module (guix download)
+ #:use-module (guix git-download)
#:use-module (guix build-system gnu)
+ #:use-module (guix build-system trivial)
#:use-module (guix utils)
#:use-module (ice-9 match))
@@ -358,4 +361,81 @@ http:://json.org specification. These are the main features:
- Allows JSON pretty printing.")
(license lgpl3+)))
+(define-public guile-minikanren
+ (package
+ (name "guile-minikanren")
+ ;; YYYYMMDD.7-char-commit-id
+ (version "20150424.e844d85")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/ijp/minikanren.git")
+ (commit "e844d85512f8c055d3f96143ee506007389a25e3")))
+ (sha256
+ (base32
+ "0r50jlpzi940jlmxyy3ddqqwmj5r12gb4bcv0ssini9v8km13xz6"))))
+ (build-system trivial-build-system)
+ (arguments
+ `(#:modules
+ ((guix build utils))
+ #:builder
+ (begin
+ ;; Can we remove this?
+ (use-modules (guix build utils))
+ (let* ((out (assoc-ref %outputs "out"))
+ (package-libs-dir
+ (string-append out "/share/guile/site/2.0/"))
+ (source (assoc-ref %build-inputs "source"))
+ (doc (string-append out "share/doc"))
+ ;; assume we're tacking ".scm" on the end of all of these
+ (scm-files '("/minikanren" ;; .scm, not the directory
+ "/minikanren/mkextraforms"
+ "/minikanren/mkprelude"
+ "/minikanren/mk")))
+ ;; make install/out location plus minikanren subdir
+ (mkdir-p (string-append package-libs-dir "/minikanren"))
+ (mkdir-p (string-append out "/minikanren"))
+
+ ;; compile .scm files and copy
+ (map (lambda (filename)
+ (let ((from-scm-file (string-append source filename ".scm"))
+ (to-scm-file (string-append package-libs-dir filename ".scm"))
+ (to-compiled-file
+ (string-append package-libs-dir filename ".go")))
+ (copy-file from-scm-file to-scm-file)
+ (if (not (zero?
+ (system*
+ (string-append (assoc-ref %build-inputs "guile")
+ "/bin/guild")
+ "compile"
+ ;; Set the load-path to be the source directory
+ "-L" source
+ "-o" to-compiled-file
+ from-scm-file)))
+ (error (format #f "Failed to compile ~s to ~s!"
+ from-scm-file
+ to-compiled-file)))))
+ scm-files)
+
+ ;; Also copy over the README
+ (mkdir-p doc)
+ (copy-file (string-append source "/README.org")
+ (string-append doc "/README.org"))))))
+ (native-inputs `(("guile" ,guile-2.0)))
+ (home-page "https://github.com/ijp/minikanren")
+ (synopsis "miniKanren declarative logic system, packaged for Guile")
+ (description
+ "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,
+written by Dan Friedman, William Byrd, and Oleg Kiselyov.
+
+This is Ian Price's r6rs packaged version of miniKranen, which deviates
+slightly from miniKanren mainline.
+
+See http://minikanren.org/ for more on miniKanren generally.")
+ ;; We need to copy over this file explicitly though because it requires
+ ;; that the copyright notice be preserved
+ (license expat)))
+
;;; guile.scm ends here
--
2.1.4
next prev parent reply other threads:[~2015-04-25 21:34 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
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 [this message]
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
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87y4lfj3ir.fsf@earlgrey.lan \
--to=cwebber@dustycloud.org \
--cc=dthompson2@worcester.edu \
--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 public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).