2017-07-29 01:05:35 +01:00
|
|
|
{ lib }:
|
|
|
|
let
|
2018-01-31 19:02:19 +00:00
|
|
|
inherit (builtins) head tail isList isAttrs isInt attrNames;
|
2009-05-24 11:57:46 +01:00
|
|
|
|
|
|
|
in
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2017-07-29 01:05:35 +01:00
|
|
|
with lib.lists;
|
|
|
|
with lib.attrsets;
|
|
|
|
with lib.strings;
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
rec {
|
|
|
|
|
2010-04-27 19:44:23 +01:00
|
|
|
# returns default if env var is not set
|
|
|
|
maybeEnv = name: default:
|
|
|
|
let value = builtins.getEnv name; in
|
|
|
|
if value == "" then default else value;
|
|
|
|
|
2009-02-09 16:51:03 +00:00
|
|
|
defaultMergeArg = x : y: if builtins.isAttrs y then
|
|
|
|
y
|
2017-03-11 22:39:40 +00:00
|
|
|
else
|
2009-02-09 16:51:03 +00:00
|
|
|
(y x);
|
|
|
|
defaultMerge = x: y: x // (defaultMergeArg x y);
|
2017-03-11 22:39:40 +00:00
|
|
|
foldArgs = merger: f: init: x:
|
|
|
|
let arg = (merger init (defaultMergeArg init x));
|
|
|
|
# now add the function with composed args already applied to the final attrs
|
|
|
|
base = (setAttrMerge "passthru" {} (f arg)
|
2019-08-13 22:52:01 +01:00
|
|
|
( z: z // {
|
2017-03-11 22:39:40 +00:00
|
|
|
function = foldArgs merger f arg;
|
|
|
|
args = (lib.attrByPath ["passthru" "args"] {} z) // x;
|
2010-07-08 14:25:52 +01:00
|
|
|
} ));
|
2017-03-11 22:39:40 +00:00
|
|
|
withStdOverrides = base // {
|
|
|
|
override = base.passthru.function;
|
|
|
|
};
|
2010-07-08 14:25:52 +01:00
|
|
|
in
|
2017-03-11 22:39:40 +00:00
|
|
|
withStdOverrides;
|
|
|
|
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2010-06-29 23:18:49 +01:00
|
|
|
# shortcut for attrByPath ["name"] default attrs
|
2014-10-04 23:03:52 +01:00
|
|
|
maybeAttrNullable = maybeAttr;
|
2010-06-29 23:18:49 +01:00
|
|
|
|
2009-05-24 11:57:41 +01:00
|
|
|
# shortcut for attrByPath ["name"] default attrs
|
2014-10-04 23:03:52 +01:00
|
|
|
maybeAttr = name: default: attrs: attrs.${name} or default;
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
|
|
|
|
# Return the second argument if the first one is true or the empty version
|
|
|
|
# of the second argument.
|
|
|
|
ifEnable = cond: val:
|
|
|
|
if cond then val
|
|
|
|
else if builtins.isList val then []
|
|
|
|
else if builtins.isAttrs val then {}
|
|
|
|
# else if builtins.isString val then ""
|
2012-12-28 18:54:15 +00:00
|
|
|
else if val == true || val == false then false
|
2009-02-09 16:51:03 +00:00
|
|
|
else null;
|
|
|
|
|
2017-03-11 22:39:40 +00:00
|
|
|
|
2009-02-09 16:51:03 +00:00
|
|
|
# Return true only if there is an attribute and it is true.
|
|
|
|
checkFlag = attrSet: name:
|
2012-12-28 18:54:15 +00:00
|
|
|
if name == "true" then true else
|
|
|
|
if name == "false" then false else
|
2010-07-08 14:25:52 +01:00
|
|
|
if (elem name (attrByPath ["flags"] [] attrSet)) then true else
|
|
|
|
attrByPath [name] false attrSet ;
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
|
|
|
|
# Input : attrSet, [ [name default] ... ], name
|
|
|
|
# Output : its value or default.
|
|
|
|
getValue = attrSet: argList: name:
|
2009-05-24 11:57:41 +01:00
|
|
|
( attrByPath [name] (if checkFlag attrSet name then true else
|
2010-07-08 14:25:52 +01:00
|
|
|
if argList == [] then null else
|
|
|
|
let x = builtins.head argList; in
|
2017-03-11 22:39:40 +00:00
|
|
|
if (head x) == name then
|
2010-07-08 14:25:52 +01:00
|
|
|
(head (tail x))
|
2017-03-11 22:39:40 +00:00
|
|
|
else (getValue attrSet
|
2010-07-08 14:25:52 +01:00
|
|
|
(tail argList) name)) attrSet );
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2017-03-11 22:39:40 +00:00
|
|
|
|
2009-02-09 16:51:03 +00:00
|
|
|
# Input : attrSet, [[name default] ...], [ [flagname reqs..] ... ]
|
|
|
|
# Output : are reqs satisfied? It's asserted.
|
2017-03-11 22:39:40 +00:00
|
|
|
checkReqs = attrSet: argList: condList:
|
2009-02-09 16:51:03 +00:00
|
|
|
(
|
2021-01-25 06:57:48 +00:00
|
|
|
foldr lib.and true
|
2017-03-11 22:39:40 +00:00
|
|
|
(map (x: let name = (head x); in
|
|
|
|
|
|
|
|
((checkFlag attrSet name) ->
|
2021-01-25 06:57:48 +00:00
|
|
|
(foldr lib.and true
|
2010-07-08 14:25:52 +01:00
|
|
|
(map (y: let val=(getValue attrSet argList y); in
|
2017-03-11 22:39:40 +00:00
|
|
|
(val!=null) && (val!=false))
|
|
|
|
(tail x))))) condList));
|
|
|
|
|
2009-05-11 16:21:42 +01:00
|
|
|
|
2012-07-18 10:18:15 +01:00
|
|
|
# This function has O(n^2) performance.
|
2017-03-11 22:39:40 +00:00
|
|
|
uniqList = { inputList, acc ? [] }:
|
|
|
|
let go = xs: acc:
|
2012-07-18 10:18:15 +01:00
|
|
|
if xs == []
|
|
|
|
then []
|
|
|
|
else let x = head xs;
|
|
|
|
y = if elem x acc then [] else [x];
|
2012-07-18 15:30:57 +01:00
|
|
|
in y ++ go (tail xs) (y ++ acc);
|
2012-07-18 10:18:15 +01:00
|
|
|
in go inputList acc;
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2017-03-11 22:39:40 +00:00
|
|
|
uniqListExt = { inputList,
|
|
|
|
outputList ? [],
|
|
|
|
getter ? (x: x),
|
|
|
|
compare ? (x: y: x==y) }:
|
2012-12-28 18:54:15 +00:00
|
|
|
if inputList == [] then outputList else
|
2017-03-11 22:39:40 +00:00
|
|
|
let x = head inputList;
|
|
|
|
isX = y: (compare (getter y) (getter x));
|
|
|
|
newOutputList = outputList ++
|
|
|
|
(if any isX outputList then [] else [x]);
|
|
|
|
in uniqListExt { outputList = newOutputList;
|
|
|
|
inputList = (tail inputList);
|
|
|
|
inherit getter compare;
|
|
|
|
};
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
condConcat = name: list: checker:
|
2010-07-08 14:25:52 +01:00
|
|
|
if list == [] then name else
|
2017-03-11 22:39:40 +00:00
|
|
|
if checker (head list) then
|
|
|
|
condConcat
|
|
|
|
(name + (head (tail list)))
|
|
|
|
(tail (tail list))
|
2010-07-08 14:25:52 +01:00
|
|
|
checker
|
|
|
|
else condConcat
|
|
|
|
name (tail (tail list)) checker;
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2009-07-06 17:20:05 +01:00
|
|
|
lazyGenericClosure = {startSet, operator}:
|
|
|
|
let
|
|
|
|
work = list: doneKeys: result:
|
|
|
|
if list == [] then
|
|
|
|
result
|
|
|
|
else
|
|
|
|
let x = head list; key = x.key; in
|
|
|
|
if elem key doneKeys then
|
|
|
|
work (tail list) doneKeys result
|
|
|
|
else
|
|
|
|
work (tail list ++ operator x) ([key] ++ doneKeys) ([x] ++ result);
|
|
|
|
in
|
|
|
|
work startSet [] [];
|
|
|
|
|
2017-03-11 22:39:40 +00:00
|
|
|
innerModifySumArgs = f: x: a: b: if b == null then (f a b) // x else
|
2010-07-08 14:25:52 +01:00
|
|
|
innerModifySumArgs f x (a // b);
|
2009-02-09 16:51:03 +00:00
|
|
|
modifySumArgs = f: x: innerModifySumArgs f x {};
|
|
|
|
|
|
|
|
|
2017-03-11 22:39:40 +00:00
|
|
|
innerClosePropagation = acc: xs:
|
2012-07-18 10:18:15 +01:00
|
|
|
if xs == []
|
|
|
|
then acc
|
|
|
|
else let y = head xs;
|
|
|
|
ys = tail xs;
|
|
|
|
in if ! isAttrs y
|
|
|
|
then innerClosePropagation acc ys
|
|
|
|
else let acc' = [y] ++ acc;
|
|
|
|
in innerClosePropagation
|
|
|
|
acc'
|
|
|
|
(uniqList { inputList = (maybeAttrNullable "propagatedBuildInputs" [] y)
|
2012-12-28 18:20:09 +00:00
|
|
|
++ (maybeAttrNullable "propagatedNativeBuildInputs" [] y)
|
2012-07-18 10:18:15 +01:00
|
|
|
++ ys;
|
|
|
|
acc = acc';
|
|
|
|
}
|
|
|
|
);
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
closePropagation = list: (uniqList {inputList = (innerClosePropagation [] list);});
|
|
|
|
|
|
|
|
# calls a function (f attr value ) for each record item. returns a list
|
2017-03-11 22:39:40 +00:00
|
|
|
mapAttrsFlatten = f: r: map (attr: f attr r.${attr}) (attrNames r);
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
# attribute set containing one attribute
|
2017-03-11 22:39:40 +00:00
|
|
|
nvs = name: value: listToAttrs [ (nameValuePair name value) ];
|
2009-02-09 16:51:03 +00:00
|
|
|
# adds / replaces an attribute of an attribute set
|
2017-03-11 22:39:40 +00:00
|
|
|
setAttr = set: name: v: set // (nvs name v);
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
# setAttrMerge (similar to mergeAttrsWithFunc but only merges the values of a particular name)
|
2017-03-11 22:39:40 +00:00
|
|
|
# setAttrMerge "a" [] { a = [2];} (x: x ++ [3]) -> { a = [2 3]; }
|
|
|
|
# setAttrMerge "a" [] { } (x: x ++ [3]) -> { a = [ 3]; }
|
|
|
|
setAttrMerge = name: default: attrs: f:
|
2009-02-09 16:51:03 +00:00
|
|
|
setAttr attrs name (f (maybeAttr name default attrs));
|
|
|
|
|
2017-03-11 22:39:40 +00:00
|
|
|
# Using f = a: b = b the result is similar to //
|
2009-02-09 16:51:03 +00:00
|
|
|
# merge attributes with custom function handling the case that the attribute
|
|
|
|
# exists in both sets
|
2017-03-11 22:39:40 +00:00
|
|
|
mergeAttrsWithFunc = f: set1: set2:
|
2021-01-25 06:57:48 +00:00
|
|
|
foldr (n: set: if set ? ${n}
|
2014-10-04 23:03:52 +01:00
|
|
|
then setAttr set n (f set.${n} set2.${n})
|
2009-02-09 16:51:03 +00:00
|
|
|
else set )
|
2014-10-04 23:03:52 +01:00
|
|
|
(set2 // set1) (attrNames set2);
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
# merging two attribute set concatenating the values of same attribute names
|
|
|
|
# eg { a = 7; } { a = [ 2 3 ]; } becomes { a = [ 7 2 3 ]; }
|
2017-03-11 22:39:40 +00:00
|
|
|
mergeAttrsConcatenateValues = mergeAttrsWithFunc ( a: b: (toList a) ++ (toList b) );
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2017-04-19 20:41:28 +01:00
|
|
|
# merges attributes using //, if a name exists in both attributes
|
2009-02-09 16:51:03 +00:00
|
|
|
# an error will be triggered unless its listed in mergeLists
|
|
|
|
# so you can mergeAttrsNoOverride { buildInputs = [a]; } { buildInputs = [a]; } {} to get
|
|
|
|
# { buildInputs = [a b]; }
|
2017-04-19 20:41:28 +01:00
|
|
|
# merging buildPhase doesn't really make sense. The cases will be rare where appending /prefixing will fit your needs?
|
2009-02-09 16:51:03 +00:00
|
|
|
# in these cases the first buildPhase will override the second one
|
2009-09-22 10:26:18 +01:00
|
|
|
# ! deprecated, use mergeAttrByFunc instead
|
2009-02-09 16:51:03 +00:00
|
|
|
mergeAttrsNoOverride = { mergeLists ? ["buildInputs" "propagatedBuildInputs"],
|
|
|
|
overrideSnd ? [ "buildPhase" ]
|
2017-03-11 22:39:40 +00:00
|
|
|
}: attrs1: attrs2:
|
2021-01-25 06:57:48 +00:00
|
|
|
foldr (n: set:
|
2014-10-04 23:03:52 +01:00
|
|
|
setAttr set n ( if set ? ${n}
|
2017-03-11 22:39:40 +00:00
|
|
|
then # merge
|
2009-02-09 16:51:03 +00:00
|
|
|
if elem n mergeLists # attribute contains list, merge them by concatenating
|
2014-10-04 23:03:52 +01:00
|
|
|
then attrs2.${n} ++ attrs1.${n}
|
2009-02-09 16:51:03 +00:00
|
|
|
else if elem n overrideSnd
|
2014-10-04 23:03:52 +01:00
|
|
|
then attrs1.${n}
|
2009-02-09 16:51:03 +00:00
|
|
|
else throw "error mergeAttrsNoOverride, attribute ${n} given in both attributes - no merge func defined"
|
2014-10-04 23:03:52 +01:00
|
|
|
else attrs2.${n} # add attribute not existing in attr1
|
|
|
|
)) attrs1 (attrNames attrs2);
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
|
|
|
|
# example usage:
|
|
|
|
# mergeAttrByFunc {
|
|
|
|
# inherit mergeAttrBy; # defined below
|
|
|
|
# buildInputs = [ a b ];
|
|
|
|
# } {
|
|
|
|
# buildInputs = [ c d ];
|
|
|
|
# };
|
|
|
|
# will result in
|
|
|
|
# { mergeAttrsBy = [...]; buildInputs = [ a b c d ]; }
|
2018-07-26 11:05:40 +01:00
|
|
|
# is used by defaultOverridableDelayableArgs and can be used when composing using
|
2009-02-09 16:51:03 +00:00
|
|
|
# foldArgs, composedArgsAndFun or applyAndFun. Example: composableDerivation in all-packages.nix
|
2017-03-11 22:39:40 +00:00
|
|
|
mergeAttrByFunc = x: y:
|
2009-02-09 16:51:03 +00:00
|
|
|
let
|
2017-03-11 22:39:40 +00:00
|
|
|
mergeAttrBy2 = { mergeAttrBy = lib.mergeAttrs; }
|
2009-02-09 16:51:03 +00:00
|
|
|
// (maybeAttr "mergeAttrBy" {} x)
|
|
|
|
// (maybeAttr "mergeAttrBy" {} y); in
|
2021-01-25 06:57:48 +00:00
|
|
|
foldr lib.mergeAttrs {} [
|
2009-02-09 16:51:03 +00:00
|
|
|
x y
|
2017-03-11 22:39:40 +00:00
|
|
|
(mapAttrs ( a: v: # merge special names using given functions
|
2014-10-04 23:03:52 +01:00
|
|
|
if x ? ${a}
|
|
|
|
then if y ? ${a}
|
|
|
|
then v x.${a} y.${a} # both have attr, use merge func
|
|
|
|
else x.${a} # only x has attr
|
|
|
|
else y.${a} # only y has attr)
|
2009-02-09 16:51:03 +00:00
|
|
|
) (removeAttrs mergeAttrBy2
|
|
|
|
# don't merge attrs which are neither in x nor y
|
2014-10-04 23:03:52 +01:00
|
|
|
(filter (a: ! x ? ${a} && ! y ? ${a})
|
2009-05-24 11:57:46 +01:00
|
|
|
(attrNames mergeAttrBy2))
|
2009-02-09 16:51:03 +00:00
|
|
|
)
|
|
|
|
)
|
|
|
|
];
|
|
|
|
mergeAttrsByFuncDefaults = foldl mergeAttrByFunc { inherit mergeAttrBy; };
|
2013-05-29 22:24:20 +01:00
|
|
|
mergeAttrsByFuncDefaultsClean = list: removeAttrs (mergeAttrsByFuncDefaults list) ["mergeAttrBy"];
|
|
|
|
|
2009-02-09 16:51:03 +00:00
|
|
|
# sane defaults (same name as attr name so that inherit can be used)
|
|
|
|
mergeAttrBy = # { buildInputs = concatList; [...]; passthru = mergeAttr; [..]; }
|
2017-03-11 22:39:40 +00:00
|
|
|
listToAttrs (map (n: nameValuePair n lib.concat)
|
2013-05-29 22:24:20 +01:00
|
|
|
[ "nativeBuildInputs" "buildInputs" "propagatedBuildInputs" "configureFlags" "prePhases" "postAll" "patches" ])
|
2017-03-11 22:39:40 +00:00
|
|
|
// listToAttrs (map (n: nameValuePair n lib.mergeAttrs) [ "passthru" "meta" "cfg" "flags" ])
|
|
|
|
// listToAttrs (map (n: nameValuePair n (a: b: "${a}\n${b}") ) [ "preConfigure" "postInstall" ])
|
2009-08-20 21:18:58 +01:00
|
|
|
;
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2009-11-22 21:28:43 +00:00
|
|
|
nixType = x:
|
|
|
|
if isAttrs x then
|
|
|
|
if x ? outPath then "derivation"
|
2015-11-14 19:41:39 +00:00
|
|
|
else "attrs"
|
2018-01-31 19:02:19 +00:00
|
|
|
else if lib.isFunction x then "function"
|
2009-11-22 21:28:43 +00:00
|
|
|
else if isList x then "list"
|
|
|
|
else if x == true then "bool"
|
|
|
|
else if x == false then "bool"
|
|
|
|
else if x == null then "null"
|
|
|
|
else if isInt x then "int"
|
|
|
|
else "string";
|
|
|
|
|
2017-07-04 23:29:23 +01:00
|
|
|
/* deprecated:
|
|
|
|
|
|
|
|
For historical reasons, imap has an index starting at 1.
|
|
|
|
|
|
|
|
But for consistency with the rest of the library we want an index
|
|
|
|
starting at zero.
|
|
|
|
*/
|
|
|
|
imap = imap1;
|
lib: add shortcuts for fake hashes (fakeSha256, fakeSha512)
Fake hashes can be used as placeholders for all the places, where
Nix expression requires a hash, but we don't yet have one.
This should be more convenient than following:
- echo|sha256sum, copy into clipboard, go to editor, paste into previously
edited place
- search nixpkgs for a random package, copy it's hash to cliboard, go to
editor, paste into previously edited place
Nix can add support for these fake hashes. In that case printed error should contain
only 1 hash, so no more problem "which of two hashes from error should I use?"
Idea by irc:Synthetica
2019-01-10 13:08:50 +00:00
|
|
|
|
|
|
|
# Fake hashes. Can be used as hash placeholders, when computing hash ahead isn't trivial
|
2020-05-11 23:04:41 +01:00
|
|
|
fakeHash = "sha256-AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA=";
|
lib: add shortcuts for fake hashes (fakeSha256, fakeSha512)
Fake hashes can be used as placeholders for all the places, where
Nix expression requires a hash, but we don't yet have one.
This should be more convenient than following:
- echo|sha256sum, copy into clipboard, go to editor, paste into previously
edited place
- search nixpkgs for a random package, copy it's hash to cliboard, go to
editor, paste into previously edited place
Nix can add support for these fake hashes. In that case printed error should contain
only 1 hash, so no more problem "which of two hashes from error should I use?"
Idea by irc:Synthetica
2019-01-10 13:08:50 +00:00
|
|
|
fakeSha256 = "0000000000000000000000000000000000000000000000000000000000000000";
|
|
|
|
fakeSha512 = "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000";
|
2009-03-06 23:21:09 +00:00
|
|
|
}
|