[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.
-- (
- Packaging Idris2, Pierre-Henry Fröhring, 2022/08/19
- Re: Packaging Idris2, (, 2022/08/19
- Re: Packaging Idris2, Pierre-Henry Fröhring, 2022/08/20
- Re: Packaging Idris2, Csepp, 2022/08/20
- Re: Packaging Idris2, Andreas Reuleaux, 2022/08/20
- Re: Packaging Idris2,
( <=
- Re: Packaging Idris2, Csepp, 2022/08/21
- Re: Packaging Idris2, Andreas Reuleaux, 2022/08/21
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, zimoun, 2022/08/21
- Re: Packaging Idris2, Philip McGrath, 2022/08/21
- Re: Packaging Idris2, contact, 2022/08/23
- Re: Packaging Idris2, Csepp, 2022/08/23
- Re: Packaging Idris2, contact, 2022/08/23