help-guix
[Top][All Lists]
Advanced

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

Re: Packaging Idris2


From: (
Subject: Re: Packaging Idris2
Date: Sun, 21 Aug 2022 08:31:12 +0100

Hi Andreas,

On Sat Aug 20, 2022 at 11:01 PM BST, Andreas Reuleaux wrote:
>   You bootstrap it from scheme (chez or racket), as comes within the Idris2 
> tarball
>   (and built with Idris 2 itself: Idris2 -> Chez Scheme / Racket).

Since this Scheme is pregenerated, it cannot really count as source code. So
we need to find a version of Idris2 that can still be built with Idris1, then
try to build a later version with that Idris2, and keep going until we get to
the latest version, like our rustc bootstrap process.

    -- (



reply via email to

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