2017-07-29 00:05:35 +00:00
|
|
|
{ lib }:
|
|
|
|
let
|
2018-01-31 19:02:19 +00:00
|
|
|
inherit (builtins) head tail isList isAttrs isInt attrNames;
|
2009-05-24 10:57:46 +00:00
|
|
|
|
|
|
|
in
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2017-07-29 00:05:35 +00:00
|
|
|
with lib.lists;
|
|
|
|
with lib.attrsets;
|
|
|
|
with lib.strings;
|
2009-02-09 16:51:03 +00:00
|
|
|
|
|
|
|
rec {
|
|
|
|
|
2010-04-27 18:44:23 +00: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)
|
|
|
|
( z: z // rec {
|
|
|
|
function = foldArgs merger f arg;
|
|
|
|
args = (lib.attrByPath ["passthru" "args"] {} z) // x;
|
2010-07-08 13:25:52 +00:00
|
|
|
} ));
|
2017-03-11 22:39:40 +00:00
|
|
|
withStdOverrides = base // {
|
|
|
|
override = base.passthru.function;
|
|
|
|
};
|
2010-07-08 13:25:52 +00:00
|
|
|
in
|
2017-03-11 22:39:40 +00:00
|
|
|
withStdOverrides;
|
|
|
|
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2010-06-29 22:18:49 +00:00
|
|
|
# shortcut for attrByPath ["name"] default attrs
|
2014-10-04 22:03:52 +00:00
|
|
|
maybeAttrNullable = maybeAttr;
|
2010-06-29 22:18:49 +00:00
|
|
|
|
2009-05-24 10:57:41 +00:00
|
|
|
# shortcut for attrByPath ["name"] default attrs
|
2014-10-04 22:03:52 +00: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 13:25:52 +00: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 10:57:41 +00:00
|
|
|
( attrByPath [name] (if checkFlag attrSet name then true else
|
2010-07-08 13:25:52 +00: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 13:25:52 +00:00
|
|
|
(head (tail x))
|
2017-03-11 22:39:40 +00:00
|
|
|
else (getValue attrSet
|
2010-07-08 13:25:52 +00: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
|
|
|
(
|
2017-03-11 22:39:40 +00:00
|
|
|
fold lib.and true
|
|
|
|
(map (x: let name = (head x); in
|
|
|
|
|
|
|
|
((checkFlag attrSet name) ->
|
2010-07-08 13:25:52 +00:00
|
|
|
(fold lib.and true
|
|
|
|
(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 15:21:42 +00:00
|
|
|
|
2012-07-18 09:18:15 +00: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 09:18:15 +00:00
|
|
|
if xs == []
|
|
|
|
then []
|
|
|
|
else let x = head xs;
|
|
|
|
y = if elem x acc then [] else [x];
|
2012-07-18 14:30:57 +00:00
|
|
|
in y ++ go (tail xs) (y ++ acc);
|
2012-07-18 09:18:15 +00: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 13:25:52 +00: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 13:25:52 +00:00
|
|
|
checker
|
|
|
|
else condConcat
|
|
|
|
name (tail (tail list)) checker;
|
2009-02-09 16:51:03 +00:00
|
|
|
|
2009-07-06 16:20:05 +00: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 13:25:52 +00: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 09:18:15 +00: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 09:18:15 +00: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:
|
|
|
|
fold (n: set: if set ? ${n}
|
2014-10-04 22:03:52 +00:00
|
|
|
then setAttr set n (f set.${n} set2.${n})
|
2009-02-09 16:51:03 +00:00
|
|
|
else set )
|
2014-10-04 22:03:52 +00: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 19:41:28 +00: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 19:41:28 +00: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 09:26:18 +00: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:
|
|
|
|
fold (n: set:
|
2014-10-04 22:03:52 +00: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 22:03:52 +00:00
|
|
|
then attrs2.${n} ++ attrs1.${n}
|
2009-02-09 16:51:03 +00:00
|
|
|
else if elem n overrideSnd
|
2014-10-04 22:03:52 +00: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 22:03:52 +00: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 10:05:40 +00: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
|
|
|
|
fold lib.mergeAttrs {} [
|
|
|
|
x y
|
2017-03-11 22:39:40 +00:00
|
|
|
(mapAttrs ( a: v: # merge special names using given functions
|
2014-10-04 22:03:52 +00: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 22:03:52 +00:00
|
|
|
(filter (a: ! x ? ${a} && ! y ? ${a})
|
2009-05-24 10:57:46 +00:00
|
|
|
(attrNames mergeAttrBy2))
|
2009-02-09 16:51:03 +00:00
|
|
|
)
|
|
|
|
)
|
|
|
|
];
|
|
|
|
mergeAttrsByFuncDefaults = foldl mergeAttrByFunc { inherit mergeAttrBy; };
|
2013-05-29 21:24:20 +00: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 21:24:20 +00: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 20:18:58 +00: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 22:29:23 +00: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;
|
2009-03-06 23:21:09 +00:00
|
|
|
}
|