25 lines
459 B
Nix
25 lines
459 B
Nix
|
{ withSystem, inputs, ... }:
|
||
|
|
{
|
||
|
|
perSystem =
|
||
|
|
{
|
||
|
|
config,
|
||
|
|
pkgs,
|
||
|
|
inputs',
|
||
|
|
...
|
||
|
|
}:
|
||
|
|
{
|
||
|
|
devShells.idris2 = pkgs.mkShell {
|
||
|
|
buildInputs = with pkgs; [
|
||
|
|
# Idris toolchain
|
||
|
|
inputs'.nixpkgs-unstable.legacyPackages.idris2Packages.pack
|
||
|
|
inputs'.nixpkgs-unstable.legacyPackages.idris2
|
||
|
|
pkg-config
|
||
|
|
gmp
|
||
|
|
gnumake
|
||
|
|
chez
|
||
|
|
rlwrap
|
||
|
|
];
|
||
|
|
};
|
||
|
|
};
|
||
|
|
}
|