From: Paul van der Walt <paul@denknerd.org>
To: guix-devel@gnu.org
Subject: [PATCH 105/105] gnu: Add Idris, the dependently-typed language.
Date: Thu, 15 Oct 2015 17:36:18 +0200 [thread overview]
Message-ID: <1444923378-10269-15-git-send-email-paul@denknerd.org> (raw)
In-Reply-To: <1444923378-10269-1-git-send-email-paul@denknerd.org>
* gnu/packages/haskell.scm (idris): New variable.
---
gnu/packages/haskell.scm | 62 ++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 62 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 75d06d8..cf4c03b 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -32,6 +32,7 @@
#:use-module (gnu packages elf)
#:use-module (gnu packages bootstrap)
#:use-module (gnu packages zip)
+ #:use-module (gnu packages gcc)
#:use-module (gnu packages ghostscript)
#:use-module (gnu packages libffi)
#:use-module (gnu packages libedit)
@@ -4400,4 +4401,65 @@ the father of Jason.)")
"Provides basic WAI handler and middleware functionality.")
(license expat)))
+(define-public idris
+ (package
+ (name "idris")
+ (version "0.9.19.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append "https://hackage.haskell.org/package/idris-"
+ version "/idris-" version ".tar.gz"))
+ (sha256
+ (base32
+ "10641svdsjlxbxmbvylpia04cz5nn9486lpiay8ibqcrc1792qgc"))))
+ (build-system haskell-build-system)
+ (arguments
+ `(#:phases (modify-phases %standard-phases
+ (add-before 'configure 'patch-cc-command
+ (lambda _
+ (setenv "CC" "gcc")
+ ;; Package description file has a too-tight
+ ;; version restriction, rendering it
+ ;; incompatible with GHC 7.10.2. This is
+ ;; fixed upstream.
+ (substitute* "idris.cabal"
+ (("vector < 0.11") "vector < 0.12")))))))
+ (native-inputs
+ `(("gcc" ,gcc)))
+ (inputs
+ `(("gmp" ,gmp)
+ ("ncurses" ,ncurses)
+ ("ghc-annotated-wl-pprint" ,ghc-annotated-wl-pprint)
+ ("ghc-ansi-terminal" ,ghc-ansi-terminal)
+ ("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint)
+ ("ghc-base64-bytestring" ,ghc-base64-bytestring)
+ ("ghc-blaze-html" ,ghc-blaze-html)
+ ("ghc-blaze-markup" ,ghc-blaze-markup)
+ ("ghc-cheapskate" ,ghc-cheapskate)
+ ("ghc-fingertree" ,ghc-fingertree)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-network" ,ghc-network)
+ ("ghc-optparse-applicative" ,ghc-optparse-applicative)
+ ("ghc-parsers" ,ghc-parsers)
+ ("ghc-safe" ,ghc-safe)
+ ("ghc-split" ,ghc-split)
+ ("ghc-text" ,ghc-text)
+ ("ghc-trifecta" ,ghc-trifecta)
+ ("ghc-uniplate" ,ghc-uniplate)
+ ("ghc-unordered-containers" ,ghc-unordered-containers)
+ ("ghc-utf8-string" ,ghc-utf8-string)
+ ("ghc-vector-binary-instances" ,ghc-vector-binary-instances)
+ ("ghc-vector" ,ghc-vector)
+ ("ghc-zip-archive" ,ghc-zip-archive)
+ ("ghc-zlib" ,ghc-zlib)))
+ (home-page "http://www.idris-lang.org")
+ (synopsis "General purpose language with full dependent types")
+ (description "Idris is a general purpose language with full dependent
+types. It is compiled, with eager evaluation. Dependent types allow types to
+be predicated on values, meaning that some aspects of a program's behaviour
+can be specified precisely in the type. The language is closely related to
+Epigram and Agda.")
+ (license bsd-3)))
+
;;; haskell.scm ends here
--
2.6.1
prev parent reply other threads:[~2015-10-15 15:36 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
2015-10-15 15:36 ` [PATCH 092/105] gnu: Add ghc-resourcet Paul van der Walt
2015-10-15 15:36 ` [PATCH 093/105] gnu: Add ghc-streaming-commons Paul van der Walt
2015-10-15 15:36 ` [PATCH 094/105] gnu: Add ghc-xss-sanitize Paul van der Walt
2015-10-15 15:36 ` [PATCH 095/105] gnu: Add ghc-parsers Paul van der Walt
2015-10-15 15:36 ` [PATCH 096/105] gnu: Add ghc-cookie Paul van der Walt
2015-10-15 15:36 ` [PATCH 097/105] gnu: Add ghc-wai Paul van der Walt
2015-10-15 15:36 ` [PATCH 098/105] gnu: Add ghc-wai-logger Paul van der Walt
2015-10-15 15:36 ` [PATCH 099/105] gnu: Add ghc-wai-extra Paul van der Walt
2015-10-15 15:36 ` [PATCH 100/105] gnu: Add ghc-vector-binary-instances Paul van der Walt
2015-10-15 15:36 ` [PATCH 101/105] gnu: Add ghc-kan-extensions Paul van der Walt
2015-10-15 15:36 ` [PATCH 102/105] gnu: Add ghc-lens Paul van der Walt
2015-10-15 15:36 ` [PATCH 103/105] gnu: Add ghc-cheapskate Paul van der Walt
2015-10-15 15:36 ` [PATCH 104/105] gnu: Add ghc-trifecta Paul van der Walt
2015-10-15 15:36 ` Paul van der Walt [this message]
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=1444923378-10269-15-git-send-email-paul@denknerd.org \
--to=paul@denknerd.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 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).