2016-12-16 13:22:02 +00:00
|
|
|
# This file defines a single function for booting a package set from a list of
|
|
|
|
# stages. The exact mechanics of that function are defined below; here I
|
|
|
|
# (@Ericson2314) wish to describe the purpose of the abstraction.
|
|
|
|
#
|
|
|
|
# The first goal is consistency across stdenvs. Regardless of what this function
|
|
|
|
# does, by making every stdenv use it for bootstrapping we ensure that they all
|
|
|
|
# work in a similar way. [Before this abstraction, each stdenv was its own
|
|
|
|
# special snowflake due to different authors writing in different times.]
|
|
|
|
#
|
|
|
|
# The second goal is consistency across each stdenv's stage functions. By
|
|
|
|
# writing each stage it terms of the previous stage, commonalities between them
|
|
|
|
# are more easily observable. [Before, there usually was a big attribute set
|
|
|
|
# with each stage, and stages would access the previous stage by name.]
|
|
|
|
#
|
|
|
|
# The third goal is composition. Because each stage is written in terms of the
|
|
|
|
# previous, the list can be reordered or, more practically, extended with new
|
|
|
|
# stages. The latter is used for cross compiling and custom
|
|
|
|
# stdenvs. Additionally, certain options should by default apply only to the
|
|
|
|
# last stage, whatever it may be. By delaying the creation of stage package sets
|
|
|
|
# until the final fold, we prevent these options from inhibiting composition.
|
|
|
|
#
|
|
|
|
# The fourth and final goal is debugging. Normal packages should only source
|
|
|
|
# their dependencies from the current stage. But for the sake of debugging, it
|
|
|
|
# is nice that all packages still remain accessible. We make sure previous
|
|
|
|
# stages are kept around with a `stdenv.__bootPackges` attribute referring the
|
|
|
|
# previous stage. It is idiomatic that attributes prefixed with `__` come with
|
|
|
|
# special restrictions and should not be used under normal circumstances.
|
|
|
|
{ lib, allPackages }:
|
|
|
|
|
|
|
|
# Type:
|
|
|
|
# [ pkgset -> (args to stage/default.nix) or ({ __raw = true; } // pkgs) ]
|
|
|
|
# -> pkgset
|
|
|
|
#
|
|
|
|
# In english: This takes a list of function from the previous stage pkgset and
|
|
|
|
# returns the final pkgset. Each of those functions returns, if `__raw` is
|
|
|
|
# undefined or false, args for this stage's pkgset (the most complex and
|
|
|
|
# important arg is the stdenv), or, if `__raw = true`, simply this stage's
|
|
|
|
# pkgset itself.
|
|
|
|
#
|
|
|
|
# The list takes stages in order, so the final stage is last in the list. In
|
|
|
|
# other words, this does a foldr not foldl.
|
|
|
|
stageFuns: let
|
|
|
|
|
2017-02-06 23:13:02 +00:00
|
|
|
/* "dfold" a ternary function `op' between successive elements of `list' as if
|
|
|
|
it was a doubly-linked list with `lnul' and `rnul` base cases at either
|
|
|
|
end. In precise terms, `fold op lnul rnul [x_0 x_1 x_2 ... x_n-1]` is the
|
|
|
|
same as
|
|
|
|
|
|
|
|
let
|
|
|
|
f_-1 = lnul;
|
|
|
|
f_0 = op f_-1 x_0 f_1;
|
|
|
|
f_1 = op f_0 x_1 f_2;
|
|
|
|
f_2 = op f_1 x_2 f_3;
|
|
|
|
...
|
|
|
|
f_n = op f_n-1 x_n f_n+1;
|
|
|
|
f_n+1 = rnul;
|
|
|
|
in
|
|
|
|
f_0
|
|
|
|
*/
|
|
|
|
dfold = op: lnul: rnul: list:
|
|
|
|
let
|
|
|
|
len = builtins.length list;
|
|
|
|
go = pred: n:
|
|
|
|
if n == len
|
|
|
|
then rnul
|
|
|
|
else let
|
|
|
|
# Note the cycle -- call-by-need ensures finite fold.
|
|
|
|
cur = op pred (builtins.elemAt list n) succ;
|
|
|
|
succ = go cur (n + 1);
|
|
|
|
in cur;
|
|
|
|
in go lnul 0;
|
|
|
|
|
2016-12-16 13:22:02 +00:00
|
|
|
# Take the list and disallow custom overrides in all but the final stage,
|
|
|
|
# and allow it in the final flag. Only defaults this boolean field if it
|
|
|
|
# isn't already set.
|
2017-07-05 01:04:13 +00:00
|
|
|
withAllowCustomOverrides = lib.lists.imap1
|
2016-12-16 13:22:02 +00:00
|
|
|
(index: stageFun: prevStage:
|
2017-01-13 18:47:17 +00:00
|
|
|
# So true by default for only the first element because one
|
|
|
|
# 1-indexing. Since we reverse the list, this means this is true
|
|
|
|
# for the final stage.
|
|
|
|
{ allowCustomOverrides = index == 1; }
|
2016-12-16 13:22:02 +00:00
|
|
|
// (stageFun prevStage))
|
|
|
|
(lib.lists.reverseList stageFuns);
|
|
|
|
|
|
|
|
# Adds the stdenv to the arguments, and sticks in it the previous stage for
|
|
|
|
# debugging purposes.
|
2017-02-06 23:13:02 +00:00
|
|
|
folder = nextStage: stageFun: prevStage: let
|
|
|
|
args = stageFun prevStage;
|
top-level: Introduce `buildPackages` for resolving build-time deps
[N.B., this package also applies to the commits that follow it in the same
PR.]
In most cases, buildPackages = pkgs so things work just as before. For
cross compiling, however, buildPackages is resolved as the previous
bootstrapping stage. This allows us to avoid the mkDerivation hacks cross
compiling currently uses today.
To avoid a massive refactor, callPackage will splice together both package
sets. Again to avoid churn, it uses the old `nativeDrv` vs `crossDrv` to do
so. So now, whether cross compiling or not, packages with get a `nativeDrv`
and `crossDrv`---in the non-cross-compiling case they are simply the same
derivation. This is good because it reduces the divergence between the
cross and non-cross dataflow. See `pkgs/top-level/splice.nix` for a comment
along the lines of the preceding paragraph, and the code that does this
splicing.
Also, `forceNativeDrv` is replaced with `forceNativePackages`. The latter
resolves `pkgs` unless the host platform is different from the build
platform, in which case it resolves to `buildPackages`. Note that the
target platform is not important here---it will not prevent
`forcedNativePackages` from resolving to `pkgs`.
--------
Temporarily, we make preserve some dubious decisions in the name of preserving
hashes:
Most importantly, we don't distinguish between "host" and "target" in the
autoconf sense. This leads to the proliferation of *Cross derivations
currently used. What we ought to is resolve native deps of the cross "build
packages" (build = host != target) package set against the "vanilla
packages" (build = host = target) package set. Instead, "build packages"
uses itself, with (informally) target != build in all cases.
This is wrong because it violates the "sliding window" principle of
bootstrapping stages that shifting the platform triple of one stage to the
left coincides with the next stage's platform triple. Only because we don't
explicitly distinguish between "host" and "target" does it appear that the
"sliding window" principle is preserved--indeed it is over the reductionary
"platform double" of just "build" and "host/target".
Additionally, we build libc, libgcc, etc in the same stage as the compilers
themselves, which is wrong because they are used at runtime, not build
time. Fixing this is somewhat subtle, and the solution and problem will be
better explained in the commit that does fix it.
Commits after this will solve both these issues, at the expense of breaking
cross hashes. Native hashes won't be broken, thankfully.
--------
Did the temporary ugliness pan out? Of the packages that currently build in
`release-cross.nix`, the only ones that have their hash changed are
`*.gcc.crossDrv` and `bootstrapTools.*.coreutilsMinimal`. In both cases I
think it doesn't matter.
1. GCC when doing a `build = host = target = foreign` build (maximally
cross), still defines environment variables like `CPATH`[1] with
packages. This seems assuredly wrong because whether gcc dynamically
links those, or the programs built by gcc dynamically link those---I
have no idea which case is reality---they should be foreign. Therefore,
in all likelihood, I just made the gcc less broken.
2. Coreutils (ab)used the old cross-compiling infrastructure to depend on
a native version of itself. When coreutils was overwritten to be built
with fewer features, the native version it used would also be
overwritten because the binding was tight. Now it uses the much looser
`BuildPackages.coreutils` which is just fine as a richer build dep
doesn't cause any problems and avoids a rebuild.
So, in conclusion I'd say the conservatism payed off. Onward to actually
raking the muck in the next PR!
[1]: https://gcc.gnu.org/onlinedocs/gcc/Environment-Variables.html
2016-12-18 07:51:18 +00:00
|
|
|
args' = args // {
|
|
|
|
stdenv = args.stdenv // {
|
|
|
|
# For debugging
|
2017-02-06 23:13:02 +00:00
|
|
|
__bootPackages = prevStage;
|
|
|
|
__hatPackages = nextStage;
|
top-level: Introduce `buildPackages` for resolving build-time deps
[N.B., this package also applies to the commits that follow it in the same
PR.]
In most cases, buildPackages = pkgs so things work just as before. For
cross compiling, however, buildPackages is resolved as the previous
bootstrapping stage. This allows us to avoid the mkDerivation hacks cross
compiling currently uses today.
To avoid a massive refactor, callPackage will splice together both package
sets. Again to avoid churn, it uses the old `nativeDrv` vs `crossDrv` to do
so. So now, whether cross compiling or not, packages with get a `nativeDrv`
and `crossDrv`---in the non-cross-compiling case they are simply the same
derivation. This is good because it reduces the divergence between the
cross and non-cross dataflow. See `pkgs/top-level/splice.nix` for a comment
along the lines of the preceding paragraph, and the code that does this
splicing.
Also, `forceNativeDrv` is replaced with `forceNativePackages`. The latter
resolves `pkgs` unless the host platform is different from the build
platform, in which case it resolves to `buildPackages`. Note that the
target platform is not important here---it will not prevent
`forcedNativePackages` from resolving to `pkgs`.
--------
Temporarily, we make preserve some dubious decisions in the name of preserving
hashes:
Most importantly, we don't distinguish between "host" and "target" in the
autoconf sense. This leads to the proliferation of *Cross derivations
currently used. What we ought to is resolve native deps of the cross "build
packages" (build = host != target) package set against the "vanilla
packages" (build = host = target) package set. Instead, "build packages"
uses itself, with (informally) target != build in all cases.
This is wrong because it violates the "sliding window" principle of
bootstrapping stages that shifting the platform triple of one stage to the
left coincides with the next stage's platform triple. Only because we don't
explicitly distinguish between "host" and "target" does it appear that the
"sliding window" principle is preserved--indeed it is over the reductionary
"platform double" of just "build" and "host/target".
Additionally, we build libc, libgcc, etc in the same stage as the compilers
themselves, which is wrong because they are used at runtime, not build
time. Fixing this is somewhat subtle, and the solution and problem will be
better explained in the commit that does fix it.
Commits after this will solve both these issues, at the expense of breaking
cross hashes. Native hashes won't be broken, thankfully.
--------
Did the temporary ugliness pan out? Of the packages that currently build in
`release-cross.nix`, the only ones that have their hash changed are
`*.gcc.crossDrv` and `bootstrapTools.*.coreutilsMinimal`. In both cases I
think it doesn't matter.
1. GCC when doing a `build = host = target = foreign` build (maximally
cross), still defines environment variables like `CPATH`[1] with
packages. This seems assuredly wrong because whether gcc dynamically
links those, or the programs built by gcc dynamically link those---I
have no idea which case is reality---they should be foreign. Therefore,
in all likelihood, I just made the gcc less broken.
2. Coreutils (ab)used the old cross-compiling infrastructure to depend on
a native version of itself. When coreutils was overwritten to be built
with fewer features, the native version it used would also be
overwritten because the binding was tight. Now it uses the much looser
`BuildPackages.coreutils` which is just fine as a richer build dep
doesn't cause any problems and avoids a rebuild.
So, in conclusion I'd say the conservatism payed off. Onward to actually
raking the muck in the next PR!
[1]: https://gcc.gnu.org/onlinedocs/gcc/Environment-Variables.html
2016-12-18 07:51:18 +00:00
|
|
|
};
|
2016-12-16 13:22:02 +00:00
|
|
|
};
|
2017-01-15 23:03:59 +00:00
|
|
|
in
|
|
|
|
if args.__raw or false
|
|
|
|
then args'
|
|
|
|
else allPackages ((builtins.removeAttrs args' ["selfBuild"]) // {
|
2017-02-06 23:13:02 +00:00
|
|
|
buildPackages = if args.selfBuild or true then null else prevStage;
|
2017-10-31 14:50:08 +00:00
|
|
|
targetPackages = if args.selfBuild or true then null else nextStage;
|
2017-01-15 23:03:59 +00:00
|
|
|
});
|
2016-12-16 13:22:02 +00:00
|
|
|
|
2017-02-06 23:13:02 +00:00
|
|
|
in dfold folder {} {} withAllowCustomOverrides
|