Enable remaining modules

This commit is contained in:
2026-04-20 11:48:53 +02:00
parent ca77dd4b90
commit df943c72e8

View File

@@ -5,38 +5,13 @@ in
{ {
imports = [ imports = [
#./file-system.nix ./file-system.nix
./media.nix ./media.nix
#./security/keyring.nix ./security/keyring.nix
]; ];
home.packages = with pkgs; [ home.packages = with pkgs; [
gnumake gnumake
python3 python3
]
++ lib.optionals profile.modules.development [
cmake
cmakeCurses
# C/C++/Fortran tools
gcc
clang
# Common C based dependencies
eigen
# Ada/+Spark & Rust tools
alire
gnat15
gnat15Packages.gprbuild
gnat15Packages.gpr2
gnat15Packages.gnatprove
gnat15Packages.gnatcoll-core
gnat15Packages.gnatcoll-readline
gnat15Packages.gnatcoll-python3
gnat15Packages.gnatcoll-gmp
rustc
cargo
]; ];
} }