[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.