From: David Craven <david@craven.ch>
To: guix-devel@gnu.org
Subject: [PATCH 4/7] gnu: Add idris-lightyear.
Date: Mon, 2 Jan 2017 18:19:55 +0100 [thread overview]
Message-ID: <20170102171958.32131-4-david@craven.ch> (raw)
In-Reply-To: <20170102171958.32131-1-david@craven.ch>
* gnu/packages/haskell.scm (idris-lightyear, idris-default-arguments):
New variables.
---
gnu/packages/haskell.scm | 71 ++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 71 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index c55386e2f..2e31c0dbb 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -48,6 +48,7 @@
#:use-module (guix build-system gnu)
#:use-module (guix build-system haskell)
#:use-module (guix download)
+ #:use-module (guix git-download)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix packages)
#:use-module (guix utils)
@@ -6751,6 +6752,76 @@ can be specified precisely in the type. The language is closely related to
Epigram and Agda.")
(license license:bsd-3)))
+;; Idris modules use the gnu-build-system so that the IDRIS_LIBRARY_PATH is set.
+(define (idris-default-arguments name)
+ `(#:modules ((guix build gnu-build-system)
+ (guix build utils)
+ (ice-9 ftw)
+ (ice-9 match))
+ #:phases
+ (modify-phases %standard-phases
+ (delete 'configure)
+ (delete 'build)
+ (delete 'check)
+ (replace 'install
+ (lambda* (#:key inputs outputs #:allow-other-keys)
+ (let* ((out (assoc-ref outputs "out"))
+ (idris (assoc-ref inputs "idris"))
+ (idris-bin (string-append idris "/bin/idris"))
+ (idris-libs (string-append idris "/lib/idris/libs"))
+ (module-name (and (string-prefix? "idris-" ,name)
+ (substring ,name 6)))
+ (ibcsubdir (string-append out "/lib/idris/" module-name))
+ (ipkg (string-append module-name ".ipkg"))
+ (idris-library-path (getenv "IDRIS_LIBRARY_PATH"))
+ (idris-path (string-split idris-library-path #\:))
+ (idris-path-files (apply append
+ (map (lambda (path)
+ (map (lambda (dir)
+ (string-append path "/" dir))
+ (scandir path))) idris-path)))
+ (idris-path-subdirs (filter (lambda (path)
+ (and path (match (stat:type (stat path))
+ ('directory #t)
+ (_ #f))))
+ idris-path-files))
+ (install-cmd (cons* idris-bin
+ "--ibcsubdir" ibcsubdir
+ "--install" ipkg
+ (apply append (map (lambda (path)
+ (list "--idrispath"
+ path))
+ idris-path-subdirs)))))
+ (setenv "IDRIS_LIBRARY_PATH" idris-libs)
+ ;; FIXME: Seems to be a bug in idris that causes a dubious failure.
+ (apply system* install-cmd)
+ #t))))))
+
+(define-public idris-lightyear
+ (let ((commit "6d65ad111b4bed2bc131396f8385528fc6b3678a"))
+ (package
+ (name "idris-lightyear")
+ (version (git-version "0.1" "1" commit))
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/ziman/lightyear")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1pkxnn3ryr0v0cin4nasw7kgkc9dnnpja1nfbj466mf3qv5s98af"))))
+ (build-system gnu-build-system)
+ (native-inputs
+ `(("idris" ,idris)))
+ (arguments (idris-default-arguments name))
+ (home-page "https://github.com/ziman/lightyear")
+ (synopsis "Lightweight parser combinator library for Idris")
+ (description "Lightweight parser combinator library for Idris, inspired
+by Parsec. This package is used (almost) the same way as Parsec, except for one
+difference: backtracking.")
+ (license license:bsd-2))))
+
(define-public ghc-base16-bytestring
(package
(name "ghc-base16-bytestring")
--
2.11.0
next prev parent reply other threads:[~2017-01-02 17:20 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-01-02 17:19 [PATCH 1/7] git-download: Add some helpers David Craven
2017-01-02 17:19 ` [PATCH 2/7] gnu: Order module imports in (gnu packages haskell) alphabetically David Craven
2017-01-03 12:22 ` Ludovic Courtès
2017-01-02 17:19 ` [PATCH 3/7] gnu: idris: Update to 0.99 David Craven
2017-01-03 12:22 ` Ludovic Courtès
2017-01-03 12:29 ` Ludovic Courtès
2017-01-02 17:19 ` David Craven [this message]
2017-01-03 12:26 ` [PATCH 4/7] gnu: Add idris-lightyear Ludovic Courtès
2017-01-03 13:13 ` David Craven
2017-01-03 15:05 ` Ludovic Courtès
2017-01-03 15:08 ` David Craven
2017-01-03 18:21 ` David Craven
2017-01-05 10:43 ` Ludovic Courtès
2017-01-02 17:19 ` [PATCH 5/7] gnu: Add idris-wl-pprint David Craven
2017-01-03 12:28 ` Ludovic Courtès
2017-01-02 17:19 ` [PATCH 6/7] gnu: Add idris-bifunctors David Craven
2017-01-03 12:27 ` Ludovic Courtès
2017-01-02 17:19 ` [PATCH 7/7] gnu: Add idris-lens David Craven
2017-01-03 12:27 ` Ludovic Courtès
2017-01-03 12:28 ` [PATCH 1/7] git-download: Add some helpers Ludovic Courtès
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=20170102171958.32131-4-david@craven.ch \
--to=david@craven.ch \
--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.