[Nix-dev] [Idris] Idris packages in nixpkgs

[Brian McKenna]

Coincidentally I had started updating my Nix + Idris work just a few days ago:

https://github.com/idris-hackers/idrispkgs

It's much less powerful than yours but has some prepackaged libraries,
for example Lightyear and idris-config.

I'd love to adapt these into idris-modules now. Where should they go?

On 28 November 2015 at 06:27, Shea Levy <shea at shealevy.com> wrote:
> Hi all,
>
> I've just added [1] rudimentary support for building Idris packages and
> composing the packages with the compiler to nixpkgs. Details can be found in
> the idris-modules directory [2], including potential future work [3].
>
> Idris's lack of any mechanism to have multiple library paths is something of
> a pain point here. If we could have multiple library paths in
> IDRIS_LIBRARY_PATH, this would be much nicer.
>
> Cheers,
> Shea
>
> [1]:
> https://github.com/NixOS/nixpkgs/commit/f7c2cd33479ce2489e2b47a9a91e453aaf25a4d4
> [2]:
> https://github.com/NixOS/nixpkgs/tree/f7c2cd33479ce2489e2b47a9a91e453aaf25a4d4/pkgs/development/idris-modules
> [3]:
> https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/idris-modules/TODO.md
>
> --
> You received this message because you are subscribed to the Google Groups
> "Idris Programming Language" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to idris-lang+unsubscribe at googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.