diff options
author | John Ericson <Ericson2314@yahoo.com> | 2017-12-07 00:59:49 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-07 00:59:49 -0500 |
commit | cc20d402d4a4a9d1879fc2b4c39901798e1a64ed (patch) | |
tree | 4902b6ff28fbbe4bd22df2b98ce4251ea43a47cb /lib | |
parent | 0d82c7ec181bb4a0ef6482fd04a1ee66fc577124 (diff) | |
parent | 43d5c5d6db3ce33f3cf1d17ba43c7374257466ec (diff) |
Merge pull request #32361 from obsidiansystems/gcc-simplify-flags
gcc: Simplify configure flags
Diffstat (limited to 'lib')
-rw-r--r-- | lib/systems/examples.nix | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/lib/systems/examples.nix b/lib/systems/examples.nix index ff2273febcb03..90d7e956d2bab 100644 --- a/lib/systems/examples.nix +++ b/lib/systems/examples.nix @@ -18,7 +18,6 @@ rec { libc = "glibc"; platform = platforms.sheevaplug; openssl.system = "linux-generic32"; - inherit (platform) gcc; }; raspberryPi = rec { @@ -31,7 +30,6 @@ rec { libc = "glibc"; platform = platforms.raspberrypi; openssl.system = "linux-generic32"; - inherit (platform) gcc; }; armv7l-hf-multiplatform = rec { @@ -44,7 +42,6 @@ rec { libc = "glibc"; platform = platforms.armv7l-hf-multiplatform; openssl.system = "linux-generic32"; - inherit (platform) gcc; }; aarch64-multiplatform = rec { @@ -54,23 +51,20 @@ rec { withTLS = true; libc = "glibc"; platform = platforms.aarch64-multiplatform; - inherit (platform) gcc; }; scaleway-c1 = armv7l-hf-multiplatform // rec { platform = platforms.scaleway-c1; - inherit (platform) gcc; - inherit (gcc) fpu; + inherit (platform.gcc) fpu; }; pogoplug4 = rec { arch = "armv5tel"; - config = "armv5tel-softfloat-linux-gnueabi"; + config = "armv5tel-unknown-linux-gnueabi"; float = "soft"; platform = platforms.pogoplug4; - inherit (platform) gcc; libc = "glibc"; withTLS = true; @@ -86,7 +80,6 @@ rec { libc = "glibc"; platform = platforms.fuloong2f_n32; openssl.system = "linux-generic32"; - inherit (platform) gcc; }; # |