Steal idris's chez
This commit is contained in:
parent
b2b3efae8a
commit
bae40525f1
|
@ -90,9 +90,16 @@ with nLib; {
|
||||||
(mkIf devel.raku { home.packages = with pkgs; [ rakudo zef ]; })
|
(mkIf devel.raku { home.packages = with pkgs; [ rakudo zef ]; })
|
||||||
# Idris 2 Development
|
# Idris 2 Development
|
||||||
(mkIf devel.idris2 {
|
(mkIf devel.idris2 {
|
||||||
home.packages = with pkgs; [
|
home.packages = with pkgs;
|
||||||
|
let
|
||||||
|
is = inputs.idris2.packages."${pkgs.system}".idris2.buildInputs;
|
||||||
|
chz = findSingle
|
||||||
|
(drv: let name = drv.pname; in (lib.strings.hasPrefix "chez" name))
|
||||||
|
{ } { } is;
|
||||||
|
in [
|
||||||
inputs.idris2.packages."${pkgs.system}".idris2
|
inputs.idris2.packages."${pkgs.system}".idris2
|
||||||
# chez
|
# chez
|
||||||
|
chz
|
||||||
gmp
|
gmp
|
||||||
rlwrap
|
rlwrap
|
||||||
];
|
];
|
||||||
|
|
Loading…
Reference in New Issue