Nix/System
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Reformat

Browse source
This commit is contained in:
Nathan McCarty 2025-01-13 14:53:42 -05:00
parent ac3825e6f9
commit 29fd118635
22 changed files with 424 additions and 424 deletions
Download patch file Download diff file Expand all files Collapse all files

71
devshells/idris2.nix
View file

@ -1,38 +1,37 @@
{ withSystem, inputs, ... }:
{
perSystem =
{
config,
pkgs,
lib,
inputs',
...
}:
{
devShells.idris2 =
let
libPackages = with pkgs; [
readline70
openssl
];
in
pkgs.mkShell {
buildInputs =
with pkgs;
[
# Idris toolchain
inputs'.nixpkgs-unstable.legacyPackages.idris2Packages.pack
inputs'.nixpkgs-unstable.legacyPackages.idris2
pkg-config
gmp
gnumake
chez
rlwrap
]
++ libPackages;
shellHook = ''
export LD_LIBRARY_PATH=${lib.makeLibraryPath libPackages}
'';
};
};
withSystem,
inputs,
...
}: {
perSystem = {
config,
pkgs,
lib,
inputs',
...
}: {
devShells.idris2 = let
libPackages = with pkgs; [
readline70
openssl
];
in
pkgs.mkShell {
buildInputs = with pkgs;
[
# Idris toolchain
inputs'.nixpkgs-unstable.legacyPackages.idris2Packages.pack
inputs'.nixpkgs-unstable.legacyPackages.idris2
pkg-config
gmp
gnumake
chez
rlwrap
]
++ libPackages;
shellHook = ''
export LD_LIBRARY_PATH=${lib.makeLibraryPath libPackages}
'';
};
};
}