From: ericbavier@openmailbox.org
To: guix-devel@gnu.org, Paul van der Walt <paul@denknerd.org>
Subject: Re: [PATCH] gnu: Add Idris, the dependently-typed language.
Date: Thu, 22 Oct 2015 03:47:50 -0500 [thread overview]
Message-ID: <1445503671-30014-22-git-send-email-ericbavier@openmailbox.org> (raw)
In-Reply-To: <1445503671-30014-1-git-send-email-ericbavier@openmailbox.org>
From: Eric Bavier <ericbavier@openmailbox.org>
With our conventions, the subject line should be just "gnu: Add Idris"
> * 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 e814f24..5cf1827 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)
> @@ -4314,4 +4315,65 @@ naming: in Greek mythology, Aeson was the father of Jason.)")
> 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")))))))
Try adding "--allow-newer=vector" to #:configure-flags. Otherwise move this
to a separate phase, as it's not strictly related to patching cc.
> + (native-inputs
> + `(("gcc" ,gcc)))
gcc is already in the implicit inputs, so this may be left out.
Otherwise LGTM!
`~Eric
> + (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.5.0
>
next prev parent reply other threads:[~2015-10-22 13:42 UTC|newest]
Thread overview: 81+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-22 3:10 Reviews for wip-haskell-platform-7.10.2-a ericbavier
2015-10-22 3:10 ` [PATCH] gnu: Add ghc-attoparsec ericbavier
2015-10-22 10:40 ` Paul van der Walt
2015-10-22 3:10 ` [PATCH] gnu: Add ghc-base64-bytestring ericbavier
2015-10-22 10:44 ` Paul van der Walt
2015-10-22 3:18 ` [PATCH] gnu: Add ghc-blaze-builder ericbavier
2015-10-22 3:18 ` [PATCH] gnu: Add ghc-blaze-markup ericbavier
2015-10-22 10:54 ` Paul van der Walt
2015-10-22 3:18 ` [PATCH] gnu: Add ghc-bytestring-builder ericbavier
2015-10-22 11:01 ` Paul van der Walt
2015-10-22 11:02 ` [PATCH] gnu: Add ghc-blaze-builder Paul van der Walt
2015-10-22 3:25 ` [PATCH] gnu: Add ghc-cereal ericbavier
2015-10-22 3:25 ` [PATCH] gnu: Add ghc-clock ericbavier
2015-10-22 13:57 ` Paul van der Walt
2015-10-22 3:25 ` [PATCH] gnu: Add ghc-cpphs ericbavier
2015-10-22 11:20 ` Paul van der Walt
2015-10-22 11:25 ` [PATCH] gnu: Add ghc-cereal Paul van der Walt
2015-10-22 3:32 ` [PATCH] gnu: Add ghc-doctest ericbavier
2015-10-22 3:32 ` [PATCH] gnu: Add ghc-fingertree ericbavier
2015-10-22 11:27 ` Paul van der Walt
2015-10-22 3:32 ` [PATCH] gnu: Add ghc-free ericbavier
2015-10-22 11:28 ` Paul van der Walt
2015-10-22 12:58 ` [PATCH] gnu: Add ghc-doctest Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-gluraw ericbavier
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-haddock-api ericbavier
2015-10-22 15:20 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-haskell-src-exts ericbavier
2015-10-22 14:07 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-hlint ericbavier
2015-10-22 15:15 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-hscolour ericbavier
2015-10-22 15:17 ` Paul van der Walt
2015-10-22 16:48 ` Eric Bavier
2015-10-22 16:53 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-opengl ericbavier
2015-10-22 15:10 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-openglraw ericbavier
2015-10-22 15:07 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-pcre-light ericbavier
2015-10-22 15:06 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-reflection ericbavier
2015-10-22 15:04 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-regex-base ericbavier
2015-10-22 15:03 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-regex-posix ericbavier
2015-10-22 15:01 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-regex-tdfa-rc ericbavier
2015-10-22 15:00 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-sdl-mixer ericbavier
2015-10-22 16:04 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-semigroupoids ericbavier
2015-10-22 14:57 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-semigroups ericbavier
2015-10-22 14:15 ` Paul van der Walt
2015-10-22 16:54 ` Eric Bavier
2015-10-22 14:56 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-tasty-golden ericbavier
2015-10-22 14:54 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-uniplate ericbavier
2015-10-22 14:52 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-unix-time ericbavier
2015-10-22 15:43 ` Paul van der Walt
2015-10-22 16:22 ` Andreas Enge
2015-10-22 16:50 ` Paul van der Walt
2015-10-22 16:57 ` Eric Bavier
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-wai ericbavier
2015-10-22 14:50 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-xml ericbavier
2015-10-22 14:48 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: Add ghc-zip-archive ericbavier
2015-10-22 14:47 ` Paul van der Walt
2015-10-22 8:47 ` ericbavier [this message]
2015-10-22 14:45 ` [PATCH] gnu: Add Idris, the dependently-typed language Paul van der Walt
2015-10-22 17:02 ` Eric Bavier
2015-10-22 17:20 ` Paul van der Walt
2015-10-22 8:47 ` [PATCH] gnu: ghc-split: Update dependencies ericbavier
2015-10-22 16:16 ` Paul van der Walt
2015-10-22 17:06 ` Eric Bavier
2015-10-22 17:26 ` Paul van der Walt
2015-10-22 14:21 ` [PATCH] gnu: Add ghc-gluraw Paul van der Walt
2015-10-22 10:27 ` Reviews for wip-haskell-platform-7.10.2-a Paul van der Walt
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=1445503671-30014-22-git-send-email-ericbavier@openmailbox.org \
--to=ericbavier@openmailbox.org \
--cc=guix-devel@gnu.org \
--cc=paul@denknerd.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).