Re: Packaging Idris2

2022-08-20 Thread Pierre-Henry Fröhring
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

Packaging Idris2

2022-08-19 Thread Pierre-Henry Fröhring
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

Re: `example' package cannot be installed from a `nar' archive without network access.

2021-12-21 Thread Pierre-Henry Fröhring
Well, apparently it does not work with the `hello' package either. These lines : ┌ │ guix install hello │ guix archive --export -r hello > hello.nar │ guix remove hello │ guix package --delete-generations │ guix gc │ guix archive --import < ./hello.nar │ guix package -i /gnu/store/81bdcd5x4v5

`example' package cannot be installed from a `nar' archive without network access.

2021-12-21 Thread Pierre-Henry Fröhring
Hello Guix Help List, I according to : https://guix.gnu.org/manual/en/html_node/Invoking-guix-archive.html It is expected that a `nar' archive is self contained. --recursive When combined with --export, this instructs guix archive to include dependencies of the given items in the archiv