darkkirb/per-system-optim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

correct gccarchh and tune for rv

Browse source
This commit is contained in:
Charlotte 🦝 Delenk 2023-07-06 15:55:42 +01:00
parent 91642f0b3c
commit af6e2c4f9f
Signed by: darkkirb
GPG key ID: AB2BD8DAF2E37122
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
default.nix
View file

@ -40,7 +40,8 @@
rv64_zba_zbb =
riscv64-linux
// {
gcc.arch = "rv64_zba_zbb";
gcc.arch = "rv64gc_zba_zbb";
gcc.tune = "sifive-u74";
};
};
pkgs-unpatched = import nixpkgs-unpatched' {