guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Idris packaging


From: P
Subject: Re: Idris packaging
Date: Thu, 22 Aug 2019 15:55:30 +0000

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Thursday, August 22, 2019 3:10 PM, Eric Bavier <address@hidden> wrote:
> Could you detail a simple reproducer? E.g. attach the idris code, detail your 
> environment, and a simple walkthrough of the commands to reach the linker 
> error you're seeing? That would help others help track down the issue.

Not the simplest, but this is what I'm trying to get working:
channel with Idris 2: https://gitlab.com/raingloom/guix-packages
Guix with Idris 1.3.2: 
https://gitlab.com/raingloom/guix-source/commits/raingloom/idris-1.3.2

I'll look for a more minimal example as well.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]