Re: Packaging Idris2

Looks very good IMHO, please do send it. I am not sure if I have sent it correctly. I have sent the patch to: . It resulted in this message: . — PHF

Re: Packaging Idris2

cont...@phfrohring.com writes: > Dear Guixers, > > I've a working package of `idris2' here: > . > It builds on previous work: . > Would it help to send it to `guix-patc...@gnu.org'? > > —PHF Looks very good IMHO, please

Re: Packaging Idris2

Dear Guixers, I've a working package of `idris2' here: . It builds on previous work: . Would it help to send it to `guix-patc...@gnu.org'? —PHF

Re: Packaging Idris2

Hi, On Sun, Aug 21, 2022, at 8:31 AM, zimoun wrote: > Hi, > > Some quick comments. :-) > > On Sun, 21 Aug 2022 at 11:39, "(" wrote: > >> Yes, that's true -- however, it's still not the complete, readable >> source code. (It presumably doesn't have comments either, which greatly >> aid understandi

Re: Packaging Idris2

Hi, Some quick comments. :-) On Sun, 21 Aug 2022 at 11:39, "(" wrote: > Yes, that's true -- however, it's still not the complete, readable > source code. (It presumably doesn't have comments either, which greatly > aid understanding, of course.) We do make exceptions when bootstrapping > is sim

Re: Packaging Idris2

On Sun Aug 21, 2022 at 11:39 AM BST, ( wrote: > Yes, that's true -- however, it's still not the complete, readable > source code. (It presumably doesn't have comments either, which greatly > aid understanding, of course.) We do make exceptions when bootstrapping > is simply impossible with currentl

Re: Packaging Idris2

On Sun Aug 21, 2022 at 11:21 AM BST, Andreas Reuleaux wrote: > (And by the way: the pregenerated scheme in there is not a binary, > it is readable scheme code after all - well not terribly readable, > but nevertheless). Yes, that's true -- however, it's still not the complete, readable source code

Re: Packaging Idris2

"(" writes: > 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 can

Re: Packaging Idris2

"(" writes: > 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 c

Re: Packaging Idris2

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 sourc

Re: Packaging Idris2

Csepp writes: > Pierre-Henry Fröhring writes: > >> Well, I went from a `guix shell --container' up to `make test' passing ; >> assuming a `chez-scheme' backend (no `node' nor `racket'). It boils down >> to a shell session looking like: >> >> ┌ >> │ $ cd ~/src/ >> │ $ git clone g...@github.co

Re: Packaging Idris2

Pierre-Henry Fröhring writes: > Well, I went from a `guix shell --container' up to `make test' passing ; > assuming a `chez-scheme' backend (no `node' nor `racket'). It boils down > to a shell session looking like: > > ┌ > │ $ cd ~/src/ > │ $ git clone g...@github.com:idris-lang/Idris2.git

Re: Packaging Idris2

Well, I went from a `guix shell --container' up to `make test' passing ; assuming a `chez-scheme' backend (no `node' nor `racket'). It boils down to a shell session looking like: ┌ │ $ cd ~/src/ │ $ git clone g...@github.com:idris-lang/Idris2.git │ $ cd Idris2 │ $ ./build_idris └ Listing 1

Re: Packaging Idris2

Hi Pierre-Henry, On Fri Aug 19, 2022 at 4:42 PM BST, Pierre-Henry Fröhring wrote: > The package so for looks like this: I'm afraid I can't answer your specific question, but I do know that Idris2 contains pregenerated Scheme code; you'll want to figure out how to build it from Idris1, which is al

Packaging Idris2

Hello, I'm trying to package Idris2. The package so for looks like this: In a working file `local-idris2.scm' there is: (define-module (local-idris2)) (use-modules (gnu) (guix gexp) (guix utils) (guix packages) (guix git-download) (guix build-system gnu) (guix build utils) ((guix l