Allow generic linux binaries over gnat installation
This commit is contained in:
@@ -27,17 +27,12 @@ in
|
|||||||
|
|
||||||
# Ada/+Spark & Rust tools
|
# Ada/+Spark & Rust tools
|
||||||
alire
|
alire
|
||||||
gnat15
|
|
||||||
gnat15Packages.gprbuild
|
|
||||||
gnat15Packages.gpr2
|
|
||||||
gnat15Packages.gnatprove
|
|
||||||
gnat15Packages.gnatcoll-core
|
|
||||||
gnat15Packages.gnatcoll-readline
|
|
||||||
gnat15Packages.gnatcoll-python3
|
|
||||||
rustc
|
rustc
|
||||||
cargo
|
cargo
|
||||||
];
|
];
|
||||||
|
|
||||||
|
programs.nix-ld.enable = true;
|
||||||
|
|
||||||
environment.variables = {
|
environment.variables = {
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user