From: Matthew Kraai <kraai@ftbfs.org>
To: John Soo <jsoo1@asu.edu>
Cc: guix-devel <guix-devel@gnu.org>
Subject: Re: Packaging elm-compiler 0.19.1
Date: Sat, 2 Jan 2021 10:37:38 -0800 [thread overview]
Message-ID: <22ec3b89-f091-2b56-1d03-af9e40b2763d@ftbfs.org> (raw)
In-Reply-To: <1a02c2f5-6b6d-4ed4-848e-f5d6fa5d8502@Johns-iPhone>
Hi John,
On 12/31/20 10:51 AM, John Soo wrote:
> I’m not 100% sure how guix handles the ghc “boot” libraries but I
> think time is installed alongside ghc. Doing guix environment --pure
> --ad-hoc ghc -- ghc-pkg list gets me time-1.9.3. So I do think the
> version bounds should be satisfied without any other dependency. Mind
> sharing more of the package definition?
I think that elm-compiler is built with GHC 8.6.5, not GHC 8.8.3. When
I run `guix environment --pure --ad-hoc ghc@8.6.5 -- ghc-pkg list`, its
output contains `time-1.8.0.2`. I tried changing the definition of
`ghc-8` in `haskell.scm` from `ghc-8.6` to `ghc-8.8`, but then
`integer-logarithms` fails to build. Maybe I have to upgrade to the
latest LTS Haskell.
Here is the full package definition:
(define-public elm-compiler
(package
(name "elm-compiler")
(version "0.19.1")
(source
(origin
(method git-fetch)
(file-name (git-file-name name version))
(uri (git-reference
(url "https://github.com/elm/compiler/")
(commit version)))
(sha256
(base32 "1rdg3xp3js9xadclk3cdypkscm5wahgsfmm4ldcw3xswzhw6ri8w"))
(patches
(search-patches "elm-compiler-disable-reactor.patch"))))
(build-system haskell-build-system)
(arguments
`(#:phases
(modify-phases %standard-phases
(add-after 'unpack 'update-constraints
(lambda _
(substitute* "elm.cabal"
(("ansi-terminal >= 0\\.8 && < 0\\.9,")
"ansi-terminal >= 0.8 && < 0.10,")
(("containers >= 0\\.5\\.8\\.2 && < 0\\.6,")
"containers >= 0.5.8.2 && < 0.7,")
(("http-client >= 0\\.5 && < 0\\.6,")
"http-client >= 0.5 && < 0.7,")
(("language-glsl >= 0\\.0\\.2 && < 0\\.3,")
"language-glsl >= 0.0.2 && < 0.4,")
(("network >= 2\\.4 && < 2\\.7,")
"network >= 2.4 && < 2.9,"))
#t)))))
(inputs
`(("ghc-ansi-terminal" ,ghc-ansi-terminal)
("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint)
("ghc-edit-distance" ,ghc-edit-distance)
("ghc-file-embed" ,ghc-file-embed)
("ghc-filelock" ,ghc-filelock)
("ghc-http" ,ghc-http)
("ghc-http-client" ,ghc-http-client)
("ghc-http-client-tls" ,ghc-http-client-tls)
("ghc-http-types" ,ghc-http-types)
("ghc-language-glsl" ,ghc-language-glsl)
("ghc-logict" ,ghc-logict)
("ghc-network" ,ghc-network)
("ghc-raw-strings-qq" ,ghc-raw-strings-qq)
("ghc-scientific" ,ghc-scientific)
("ghc-sha" ,ghc-sha)
("ghc-snap-core" ,ghc-snap-core)
("ghc-snap-server" ,ghc-snap-server)
("ghc-time-compat" ,ghc-time-compat)
("ghc-unordered-containers"
,ghc-unordered-containers)
("ghc-utf8-string" ,ghc-utf8-string)
("ghc-vector" ,ghc-vector)
("ghc-zip-archive" ,ghc-zip-archive)))
(home-page "https://elm-lang.org")
(synopsis "Programming language for Web applications")
(description
"This package provides Elm, a statically-typed functional programming
language for the browser. It includes commands for developers such as
@command{elm make} and @command{elm repl}.")
(license license:bsd-3)))
--
Matthew Kraai
next prev parent reply other threads:[~2021-01-02 18:37 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-31 12:11 Packaging elm-compiler 0.19.1 Matthew Kraai
2020-12-31 18:51 ` John Soo
2021-01-02 18:37 ` Matthew Kraai [this message]
2021-01-03 1:23 ` John Soo
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=22ec3b89-f091-2b56-1d03-af9e40b2763d@ftbfs.org \
--to=kraai@ftbfs.org \
--cc=guix-devel@gnu.org \
--cc=jsoo1@asu.edu \
/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).