[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#46124] [PATCH] Idris 2
From: |
Xinglu Chen |
Subject: |
[bug#46124] [PATCH] Idris 2 |
Date: |
Fri, 30 Apr 2021 10:24:42 +0200 |
On Thu, Apr 29 2021, raingloom wrote:
> Here is the updated patch. No idea if this actually works cross
> compiled, but I don't have much time to test it. My suspicion is that
> it's likely broken and requires changes to Idris 2's code generators,
> because they almost definitely call Chez, GCC, etc, with the wrong
> arguments.
I noticed that there is an ‘idris2_app’ directory in the ‘bin’ directory
$ ls /gnu/store/va62hzp46c3dp2vlcnqc7fg109axj8rq-idris2-0.3.0/bin
idris2* idris2_app/
What is this used for?