2017-05-17 18:04:27 +03:00
|
|
|
# Define the list of system with their properties.
|
|
|
|
#
|
|
|
|
# See https://clang.llvm.org/docs/CrossCompilation.html and
|
|
|
|
# http://llvm.org/docs/doxygen/html/Triple_8cpp_source.html especially
|
|
|
|
# Triple::normalize. Parsing should essentially act as a more conservative
|
|
|
|
# version of that last function.
|
2009-11-19 20:19:39 +03:00
|
|
|
|
2017-02-09 05:27:22 +03:00
|
|
|
with import ../lists.nix;
|
|
|
|
with import ../types.nix;
|
|
|
|
with import ../attrsets.nix;
|
2017-05-21 20:39:23 +03:00
|
|
|
with (import ./inspect.nix).predicates;
|
2009-11-19 20:19:39 +03:00
|
|
|
|
|
|
|
let
|
2017-02-10 00:09:47 +03:00
|
|
|
lib = import ../default.nix;
|
|
|
|
setTypesAssert = type: pred:
|
2009-11-19 20:19:39 +03:00
|
|
|
mapAttrs (name: value:
|
2017-05-17 18:04:27 +03:00
|
|
|
assert pred value;
|
2017-02-10 00:09:47 +03:00
|
|
|
setType type ({ inherit name; } // value));
|
|
|
|
setTypes = type: setTypesAssert type (_: true);
|
|
|
|
|
2009-11-19 20:19:39 +03:00
|
|
|
in
|
|
|
|
|
|
|
|
rec {
|
|
|
|
|
2013-03-13 18:05:30 +04:00
|
|
|
isSignificantByte = isType "significant-byte";
|
2009-11-19 20:19:39 +03:00
|
|
|
significantBytes = setTypes "significant-byte" {
|
|
|
|
bigEndian = {};
|
|
|
|
littleEndian = {};
|
|
|
|
};
|
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
isCpuType = isType "cpu-type";
|
|
|
|
cpuTypes = with significantBytes; setTypesAssert "cpu-type"
|
|
|
|
(x: elem x.bits [8 16 32 64 128]
|
|
|
|
&& (if 8 < x.bits
|
|
|
|
then isSignificantByte x.significantByte
|
|
|
|
else !(x ? significantByte)))
|
|
|
|
{
|
|
|
|
arm = { bits = 32; significantByte = littleEndian; family = "arm"; };
|
|
|
|
armv5tel = { bits = 32; significantByte = littleEndian; family = "arm"; };
|
|
|
|
armv6l = { bits = 32; significantByte = littleEndian; family = "arm"; };
|
|
|
|
armv7a = { bits = 32; significantByte = littleEndian; family = "arm"; };
|
|
|
|
armv7l = { bits = 32; significantByte = littleEndian; family = "arm"; };
|
|
|
|
aarch64 = { bits = 64; significantByte = littleEndian; family = "arm"; };
|
|
|
|
i686 = { bits = 32; significantByte = littleEndian; family = "x86"; };
|
|
|
|
x86_64 = { bits = 64; significantByte = littleEndian; family = "x86"; };
|
|
|
|
mips64el = { bits = 32; significantByte = littleEndian; family = "mips"; };
|
|
|
|
powerpc = { bits = 32; significantByte = bigEndian; family = "powerpc"; };
|
|
|
|
};
|
2009-11-19 20:19:39 +03:00
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
isVendor = isType "vendor";
|
|
|
|
vendors = setTypes "vendor" {
|
|
|
|
apple = {};
|
|
|
|
pc = {};
|
2017-05-17 18:04:27 +03:00
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
unknown = {};
|
|
|
|
};
|
2009-11-19 20:19:39 +03:00
|
|
|
|
2013-03-13 18:05:30 +04:00
|
|
|
isExecFormat = isType "exec-format";
|
2009-11-19 20:19:39 +03:00
|
|
|
execFormats = setTypes "exec-format" {
|
|
|
|
aout = {}; # a.out
|
|
|
|
elf = {};
|
|
|
|
macho = {};
|
|
|
|
pe = {};
|
2017-05-17 18:04:27 +03:00
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
unknown = {};
|
2009-11-19 20:19:39 +03:00
|
|
|
};
|
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
isKernelFamily = isType "kernel-family";
|
|
|
|
kernelFamilies = setTypes "kernel-family" {
|
|
|
|
bsd = {};
|
|
|
|
unix = {};
|
2009-11-19 20:19:39 +03:00
|
|
|
};
|
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
isKernel = x: isType "kernel" x;
|
|
|
|
kernels = with execFormats; with kernelFamilies; setTypesAssert "kernel"
|
|
|
|
(x: isExecFormat x.execFormat && all isKernelFamily (attrValues x.families))
|
|
|
|
{
|
|
|
|
darwin = { execFormat = macho; families = { inherit unix; }; };
|
|
|
|
freebsd = { execFormat = elf; families = { inherit unix bsd; }; };
|
2017-05-22 19:42:03 +03:00
|
|
|
hurd = { execFormat = elf; families = { inherit unix; }; };
|
2017-02-10 00:09:47 +03:00
|
|
|
linux = { execFormat = elf; families = { inherit unix; }; };
|
|
|
|
netbsd = { execFormat = elf; families = { inherit unix bsd; }; };
|
|
|
|
none = { execFormat = unknown; families = { inherit unix; }; };
|
|
|
|
openbsd = { execFormat = elf; families = { inherit unix bsd; }; };
|
|
|
|
solaris = { execFormat = elf; families = { inherit unix; }; };
|
2017-05-17 18:04:27 +03:00
|
|
|
windows = { execFormat = pe; families = { }; };
|
|
|
|
} // { # aliases
|
2017-04-26 06:25:37 +03:00
|
|
|
# TODO(@Ericson2314): Handle these Darwin version suffixes more generally.
|
|
|
|
darwin10 = kernels.darwin;
|
|
|
|
darwin14 = kernels.darwin;
|
2017-05-17 18:04:27 +03:00
|
|
|
win32 = kernels.windows;
|
2017-02-10 00:09:47 +03:00
|
|
|
};
|
2009-11-19 20:19:39 +03:00
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
isAbi = isType "abi";
|
|
|
|
abis = setTypes "abi" {
|
2017-05-17 18:04:27 +03:00
|
|
|
cygnus = {};
|
2017-02-10 00:09:47 +03:00
|
|
|
gnu = {};
|
|
|
|
msvc = {};
|
|
|
|
eabi = {};
|
|
|
|
androideabi = {};
|
2017-04-26 02:37:22 +03:00
|
|
|
gnueabi = {};
|
|
|
|
gnueabihf = {};
|
2017-05-17 18:04:27 +03:00
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
unknown = {};
|
2009-11-19 20:19:39 +03:00
|
|
|
};
|
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
isSystem = isType "system";
|
|
|
|
mkSystem = { cpu, vendor, kernel, abi }:
|
|
|
|
assert isCpuType cpu && isVendor vendor && isKernel kernel && isAbi abi;
|
|
|
|
setType "system" {
|
|
|
|
inherit cpu vendor kernel abi;
|
|
|
|
};
|
2009-11-19 20:19:39 +03:00
|
|
|
|
2017-02-10 00:09:47 +03:00
|
|
|
mkSkeletonFromList = l: {
|
2017-05-17 18:04:27 +03:00
|
|
|
"2" = # We only do 2-part hacks for things Nix already supports
|
|
|
|
if elemAt l 1 == "cygwin"
|
2017-05-22 19:42:03 +03:00
|
|
|
then { cpu = elemAt l 0; kernel = "windows"; abi = "cygnus"; }
|
|
|
|
else if elemAt l 1 == "gnu"
|
|
|
|
then { cpu = elemAt l 0; kernel = "hurd"; abi = "gnu"; }
|
2017-05-17 18:04:27 +03:00
|
|
|
else { cpu = elemAt l 0; kernel = elemAt l 1; };
|
2017-02-10 00:09:47 +03:00
|
|
|
"3" = # Awkwards hacks, beware!
|
|
|
|
if elemAt l 1 == "apple"
|
|
|
|
then { cpu = elemAt l 0; vendor = "apple"; kernel = elemAt l 2; }
|
|
|
|
else if (elemAt l 1 == "linux") || (elemAt l 2 == "gnu")
|
|
|
|
then { cpu = elemAt l 0; kernel = elemAt l 1; abi = elemAt l 2; }
|
2017-05-17 18:04:27 +03:00
|
|
|
else if (elemAt l 2 == "mingw32") # autotools breaks on -gnu for window
|
|
|
|
then { cpu = elemAt l 0; vendor = elemAt l 1; kernel = "windows"; abi = "gnu"; }
|
2017-02-10 00:09:47 +03:00
|
|
|
else throw "Target specification with 3 components is ambiguous";
|
2017-05-17 18:04:27 +03:00
|
|
|
"4" = { cpu = elemAt l 0; vendor = elemAt l 1; kernel = elemAt l 2; abi = elemAt l 3; };
|
2017-02-10 00:09:47 +03:00
|
|
|
}.${toString (length l)}
|
|
|
|
or (throw "system string has invalid number of hyphen-separated components");
|
2009-11-19 20:19:39 +03:00
|
|
|
|
|
|
|
# This should revert the job done by config.guess from the gcc compiler.
|
2017-02-10 00:09:47 +03:00
|
|
|
mkSystemFromSkeleton = { cpu
|
|
|
|
, # Optional, but fallback too complex for here.
|
|
|
|
# Inferred below instead.
|
|
|
|
vendor ? assert false; null
|
|
|
|
, kernel
|
|
|
|
, # Also inferred below
|
|
|
|
abi ? assert false; null
|
|
|
|
} @ args: let
|
2017-05-17 18:04:27 +03:00
|
|
|
getCpu = name: cpuTypes.${name} or (throw "Unknown CPU type: ${name}");
|
|
|
|
getVendor = name: vendors.${name} or (throw "Unknown vendor: ${name}");
|
|
|
|
getKernel = name: kernels.${name} or (throw "Unknown kernel: ${name}");
|
|
|
|
getAbi = name: abis.${name} or (throw "Unknown ABI: ${name}");
|
2017-02-10 00:09:47 +03:00
|
|
|
|
2017-05-21 20:39:23 +03:00
|
|
|
parsed = rec {
|
2017-02-10 00:09:47 +03:00
|
|
|
cpu = getCpu args.cpu;
|
|
|
|
vendor =
|
|
|
|
/**/ if args ? vendor then getVendor args.vendor
|
2017-05-21 20:39:23 +03:00
|
|
|
else if isDarwin parsed then vendors.apple
|
|
|
|
else if isWindows parsed then vendors.pc
|
2017-02-10 00:09:47 +03:00
|
|
|
else vendors.unknown;
|
|
|
|
kernel = getKernel args.kernel;
|
|
|
|
abi =
|
|
|
|
/**/ if args ? abi then getAbi args.abi
|
2017-05-21 20:39:23 +03:00
|
|
|
else if isLinux parsed then abis.gnu
|
|
|
|
else if isWindows parsed then abis.gnu
|
2017-02-10 00:09:47 +03:00
|
|
|
else abis.unknown;
|
|
|
|
};
|
|
|
|
|
2017-05-21 20:39:23 +03:00
|
|
|
in mkSystem parsed;
|
2017-02-10 00:09:47 +03:00
|
|
|
|
|
|
|
mkSystemFromString = s: mkSystemFromSkeleton (mkSkeletonFromList (lib.splitString "-" s));
|
|
|
|
|
2017-05-17 18:04:27 +03:00
|
|
|
doubleFromSystem = { cpu, vendor, kernel, abi, ... }:
|
|
|
|
if vendor == kernels.windows && abi == abis.cygnus
|
|
|
|
then "${cpu.name}-cygwin"
|
|
|
|
else "${cpu.name}-${kernel.name}";
|
2017-02-10 00:09:47 +03:00
|
|
|
|
|
|
|
tripleFromSystem = { cpu, vendor, kernel, abi, ... } @ sys: assert isSystem sys; let
|
|
|
|
optAbi = lib.optionalString (abi != abis.unknown) "-${abi.name}";
|
|
|
|
in "${cpu.name}-${vendor.name}-${kernel.name}${optAbi}";
|
2009-11-19 20:19:39 +03:00
|
|
|
|
|
|
|
}
|