From f72f22b250ecf22657ffc9e6082086377031ea8a Mon Sep 17 00:00:00 2001 From: tzlil Date: Sun, 30 Jul 2023 13:19:39 +0300 Subject: clean up a bit --- profiles/gentoo.nix | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 profiles/gentoo.nix (limited to 'profiles/gentoo.nix') diff --git a/profiles/gentoo.nix b/profiles/gentoo.nix deleted file mode 100644 index 337a306..0000000 --- a/profiles/gentoo.nix +++ /dev/null @@ -1,37 +0,0 @@ -{ - pkgs, - lib, - config, - inputs, - ... -}: { - imports = []; - config = { - nix.binaryCaches = [ - "https://cache.nixos.org/" - "https://cache.allvm.org/" - ]; - - nix.binaryCachePublicKeys = [ - "gravity.cs.illinois.edu-1:yymmNS/WMf0iTj2NnD0nrVV8cBOXM9ivAkEdO1Lro3U=" - ]; - - nativeStdenv = - prev.stdenvAdapters.withCFlags ["-O3" "-pipe" "-march=native"] - (prev.overrideCC prev.llvmPackages_latest.stdenv - (prev.wrapCCWith rec { - cc = prev.llvmPackages_latest.clang-unwrapped; - bintools = final.wrapBintoolsWith { - coreutils = final.uutils-coreutils; - libc = final.musl; - bintools = - final.binutils-unwrapped.overrideAttrs - (old: { - postInstall = '' - ln -sf ${final.mold}/bin/mold $out/bin/ld - ''; - }); - }; - })); - }; -} -- cgit 1.4.1