idris2-pack
idris2-pack copied to clipboard
stefan-hoeck
I'm trying to upgrade my local pack on mac m1, and it can't find gmp when I `pack switch HEAD` (I'm currently on nightly-240211) ``` [ build ] cc -Wall...
I ran into a problem that some upstream package (which is not yet present in the pack collection) requires some additional or alternative versions of some packages, and thus downstream...
Different instances of `pack` can change files inside `$PACK_DIR`. Sometimes, especially when there is a need of updating `$PACK_DIR/.cache`, they are trying to do same things on the same files....
## Issue I am trying to package `idris2-pack` for [`nix`](https://github.com/NixOS/nixpkgs) so I can easily access `idris2-pack` from NixOS. `nix` does not allow network accesses during the build process; you need...
I had trouble figuring out how to tell pack to install a new release of Idris2. After poking around in the help and trying a few pack commands, I finally...
See discussion in #270. We should treat single strings of extra configs as being able to pass several arguments, while disallowing unsafe things like leaving unescaped `&` and similar things....
In order to speed up building the Idris compiler, pack tries to use an already installed version of Idris instead of bootstrapping the hole thing. This works reasonably well with...
I have a repro test branch here: https://github.com/thomasdziedzic/vla/tree/test-failure ``` $ pack --verbose test vla [ debug ] Pack home is /home/tom/.pack [ debug ] Current directory is /home/tom/work/vla [ info...
If I `pack install spidr`, pack doesn't run `postinstall`. On the other hand, if I run `pack build spidr.ipkg` locally, it does run `postbuild`. My script reads a file and...
The installation script works just fine in MSYS2, which is a great step forward, but `pack` itself fails with the message "[ fatal ] Failed to figure out package directory."...
