From: Timothy Sample <samplet@ngyro.com>
To: John Soo <jsoo1@asu.edu>
Cc: "Jakub Kądziołka" <kuba@kadziolka.net>, guix-devel@gnu.org
Subject: Re: merge wip-haskell?
Date: Fri, 28 Aug 2020 13:29:22 -0400 [thread overview]
Message-ID: <87r1rqsmq5.fsf@ngyro.com> (raw)
In-Reply-To: <59802BA7-9EEC-4C57-A949-2A30BA1B96E9@asu.edu> (John Soo's message of "Fri, 28 Aug 2020 07:05:30 -0700")
Hi John,
John Soo <jsoo1@asu.edu> writes:
> Does anyone know why idris, agda, and purescript are failing?
The really short version is that we now use shared libraries for Haskell
dependencies, which mostly works, except for some of the more
complicated builds. I did fix Agda a little while ago, so I think it’s
okay now. The issue was it couldn’t run the Agda compiler because it
didn’t know where it’s own shared libraries were before installing. I
fixed it by setting “LD_LIBRARY_PATH” during the build. Idris has a
similar problem, but not similar enough that the same solution works. I
imagine PureScript is in the same boat, but I didn’t know about it until
now. This makes me wonder about Elm, too.
> I have only been able to do very little recently to look at them.
Me too. I‘ll take a look at PureScript and check Elm, since maybe the
Agda fix will work for them. I’m not sure about Idris – it needs a bit
more effort.
-- Tim
next prev parent reply other threads:[~2020-08-28 17:30 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-08-06 8:13 merge wip-haskell? Ricardo Wurmus
2020-08-06 13:45 ` John Soo
2020-08-07 17:46 ` Timothy Sample
2020-08-07 19:53 ` Ricardo Wurmus
2020-08-09 4:29 ` Timothy Sample
2020-08-12 12:21 ` Ricardo Wurmus
2020-08-13 15:37 ` Ricardo Wurmus
2020-08-15 8:19 ` Ricardo Wurmus
2020-08-17 15:22 ` Timothy Sample
2020-08-24 15:38 ` Ludovic Courtès
2020-08-07 15:03 ` Jakub Kądziołka
2020-08-07 15:12 ` John Soo
2020-08-07 15:46 ` Jakub Kądziołka
2020-08-07 15:59 ` Ricardo Wurmus
2020-08-07 16:08 ` John Soo
2020-08-24 15:44 ` Ludovic Courtès
2020-08-24 17:54 ` Ricardo Wurmus
2020-08-28 13:53 ` Ludovic Courtès
2020-08-28 14:05 ` John Soo
2020-08-28 17:29 ` Timothy Sample [this message]
2020-08-29 15:34 ` Timothy Sample
2020-08-29 15:54 ` John Soo
2020-08-07 16:27 ` Ricardo Wurmus
2020-08-07 16:55 ` Jakub Kądziołka
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=87r1rqsmq5.fsf@ngyro.com \
--to=samplet@ngyro.com \
--cc=guix-devel@gnu.org \
--cc=jsoo1@asu.edu \
--cc=kuba@kadziolka.net \
/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).