2017-03-30 22:03:40 +02:00
|
|
|
/* Library of low-level helper functions for nix expressions.
|
|
|
|
*
|
|
|
|
* Please implement (mostly) exhaustive unit tests
|
|
|
|
* for new functions in `./tests.nix'.
|
|
|
|
*/
|
2016-09-15 01:21:42 +02:00
|
|
|
let
|
2006-09-25 12:07:59 +02:00
|
|
|
|
2018-04-06 18:51:10 +02:00
|
|
|
inherit (import ./fixed-points.nix {}) makeExtensible;
|
2017-07-29 02:05:35 +02:00
|
|
|
|
2018-04-06 18:51:10 +02:00
|
|
|
lib = makeExtensible (self: let
|
|
|
|
callLibs = file: import file { lib = self; };
|
|
|
|
in with self; {
|
2017-07-29 02:05:35 +02:00
|
|
|
|
|
|
|
# often used, or depending on very little
|
|
|
|
trivial = callLibs ./trivial.nix;
|
|
|
|
fixedPoints = callLibs ./fixed-points.nix;
|
|
|
|
|
|
|
|
# datatypes
|
|
|
|
attrsets = callLibs ./attrsets.nix;
|
|
|
|
lists = callLibs ./lists.nix;
|
|
|
|
strings = callLibs ./strings.nix;
|
|
|
|
stringsWithDeps = callLibs ./strings-with-deps.nix;
|
|
|
|
|
|
|
|
# packaging
|
|
|
|
customisation = callLibs ./customisation.nix;
|
2018-03-04 04:09:35 +01:00
|
|
|
maintainers = import ../maintainers/maintainer-list.nix;
|
2017-07-29 02:05:35 +02:00
|
|
|
meta = callLibs ./meta.nix;
|
|
|
|
sources = callLibs ./sources.nix;
|
2018-03-03 05:26:32 +01:00
|
|
|
versions = callLibs ./versions.nix;
|
2017-07-29 02:05:35 +02:00
|
|
|
|
|
|
|
# module system
|
|
|
|
modules = callLibs ./modules.nix;
|
|
|
|
options = callLibs ./options.nix;
|
|
|
|
types = callLibs ./types.nix;
|
|
|
|
|
|
|
|
# constants
|
|
|
|
licenses = callLibs ./licenses.nix;
|
|
|
|
systems = callLibs ./systems;
|
|
|
|
|
|
|
|
# misc
|
2018-08-08 19:26:52 +02:00
|
|
|
asserts = callLibs ./asserts.nix;
|
2017-07-29 02:05:35 +02:00
|
|
|
debug = callLibs ./debug.nix;
|
|
|
|
generators = callLibs ./generators.nix;
|
|
|
|
misc = callLibs ./deprecated.nix;
|
2018-08-08 19:26:52 +02:00
|
|
|
|
2017-07-29 02:05:35 +02:00
|
|
|
# domain-specific
|
|
|
|
fetchers = callLibs ./fetchers.nix;
|
|
|
|
|
|
|
|
# Eval-time filesystem handling
|
|
|
|
filesystem = callLibs ./filesystem.nix;
|
2017-02-09 03:27:22 +01:00
|
|
|
|
|
|
|
# back-compat aliases
|
lib, stdenv: Check `meta.platforms` against host platform and be open world
First, we need check against the host platform, not the build platform.
That's simple enough.
Second, we move away from exahustive finite case analysis (i.e.
exhaustively listing all platforms the package builds on). That only
work in a closed-world setting, where we know all platforms we might
build one. But with cross compilation, we may be building for arbitrary
platforms, So we need fancier filters. This is the closed world to open
world change.
The solution is instead of having a list of systems (strings in the form
"foo-bar"), we have a list of of systems or "patterns", i.e. attributes
that partially match the output of the parsers in `lib.systems.parse`.
The "check meta" logic treats the systems strings as an exact whitelist
just as before, but treats the patterns as a fuzzy whitelist,
intersecting the actual `hostPlatform` with the pattern and then
checking for equality. (This is done using `matchAttrs`).
The default convenience lists for `meta.platforms` are now changed to be
lists of patterns (usually a single pattern) in
`lib/systems/for-meta.nix` for maximum flexibility under this new
system.
Fixes #30902
2018-01-31 06:11:03 +01:00
|
|
|
platforms = systems.forMeta;
|
2017-07-29 02:05:35 +02:00
|
|
|
|
2018-05-11 17:12:15 +02:00
|
|
|
inherit (builtins) add addErrorContext attrNames concatLists
|
|
|
|
deepSeq elem elemAt filter genericClosure genList getAttr
|
|
|
|
hasAttr head isAttrs isBool isInt isList isString length
|
|
|
|
lessThan listToAttrs pathExists readFile replaceStrings seq
|
|
|
|
stringLength sub substring tail;
|
2018-06-10 21:25:48 +02:00
|
|
|
inherit (trivial) id const concat or and bitAnd bitOr bitXor bitNot
|
|
|
|
boolToString mergeAttrs flip mapNullable inNixShell min max
|
|
|
|
importJSON warn info nixpkgsVersion version mod compare
|
2018-08-08 19:26:52 +02:00
|
|
|
splitByAndCompare functionArgs setFunctionArgs isFunction;
|
2018-12-11 22:18:22 +01:00
|
|
|
inherit (fixedPoints) fix fix' converge extends composeExtensions
|
2017-09-29 15:10:48 +02:00
|
|
|
makeExtensible makeExtensibleWithCustomName;
|
2017-07-29 02:05:35 +02:00
|
|
|
inherit (attrsets) attrByPath hasAttrByPath setAttrByPath
|
2018-12-11 22:18:22 +01:00
|
|
|
getAttrFromPath attrVals attrValues getAttrs catAttrs filterAttrs
|
2017-07-29 02:05:35 +02:00
|
|
|
filterAttrsRecursive foldAttrs collect nameValuePair mapAttrs
|
|
|
|
mapAttrs' mapAttrsToList mapAttrsRecursive mapAttrsRecursiveCond
|
|
|
|
genAttrs isDerivation toDerivation optionalAttrs
|
|
|
|
zipAttrsWithNames zipAttrsWith zipAttrs recursiveUpdateUntil
|
|
|
|
recursiveUpdate matchAttrs overrideExisting getOutput getBin
|
|
|
|
getLib getDev chooseDevOutputs zipWithNames zip;
|
|
|
|
inherit (lists) singleton foldr fold foldl foldl' imap0 imap1
|
|
|
|
concatMap flatten remove findSingle findFirst any all count
|
|
|
|
optional optionals toList range partition zipListsWith zipLists
|
2018-05-11 17:12:15 +02:00
|
|
|
reverseList listDfs toposort sort naturalSort compareLists take
|
|
|
|
drop sublist last init crossLists unique intersectLists
|
2018-06-10 19:31:09 +02:00
|
|
|
subtractLists mutuallyExclusive groupBy groupBy';
|
2017-07-29 02:05:35 +02:00
|
|
|
inherit (strings) concatStrings concatMapStrings concatImapStrings
|
|
|
|
intersperse concatStringsSep concatMapStringsSep
|
|
|
|
concatImapStringsSep makeSearchPath makeSearchPathOutput
|
2018-08-17 20:16:38 +02:00
|
|
|
makeLibraryPath makeBinPath makePerlPath makeFullPerlPath optionalString
|
2017-07-29 02:05:35 +02:00
|
|
|
hasPrefix hasSuffix stringToCharacters stringAsChars escape
|
2018-05-11 17:12:15 +02:00
|
|
|
escapeShellArg escapeShellArgs replaceChars lowerChars
|
|
|
|
upperChars toLower toUpper addContextFrom splitString
|
|
|
|
removePrefix removeSuffix versionOlder versionAtLeast getVersion
|
|
|
|
nameFromURL enableFeature enableFeatureAs withFeature
|
|
|
|
withFeatureAs fixedWidthString fixedWidthNumber isStorePath
|
2017-07-29 02:05:35 +02:00
|
|
|
toInt readPathsFromFile fileContents;
|
|
|
|
inherit (stringsWithDeps) textClosureList textClosureMap
|
|
|
|
noDepEntry fullDepEntry packEntry stringAfter;
|
|
|
|
inherit (customisation) overrideDerivation makeOverridable
|
2018-05-11 17:12:15 +02:00
|
|
|
callPackageWith callPackagesWith extendDerivation hydraJob
|
|
|
|
makeScope;
|
2017-07-29 02:05:35 +02:00
|
|
|
inherit (meta) addMetaAttrs dontDistribute setName updateName
|
|
|
|
appendToName mapDerivationAttrset lowPrio lowPrioSet hiPrio
|
|
|
|
hiPrioSet;
|
|
|
|
inherit (sources) pathType pathIsDirectory cleanSourceFilter
|
|
|
|
cleanSource sourceByRegex sourceFilesBySuffices
|
2018-05-11 17:12:15 +02:00
|
|
|
commitIdFromGitRepo cleanSourceWith pathHasContext
|
|
|
|
canCleanSource;
|
2017-07-29 02:05:35 +02:00
|
|
|
inherit (modules) evalModules closeModules unifyModuleSyntax
|
|
|
|
applyIfFunction unpackSubmodule packSubmodule mergeModules
|
|
|
|
mergeModules' mergeOptionDecls evalOptionValue mergeDefinitions
|
|
|
|
pushDownProperties dischargeProperties filterOverrides
|
|
|
|
sortProperties fixupOptionType mkIf mkAssert mkMerge mkOverride
|
|
|
|
mkOptionDefault mkDefault mkForce mkVMOverride mkStrict
|
|
|
|
mkFixStrictness mkOrder mkBefore mkAfter mkAliasDefinitions
|
|
|
|
mkAliasAndWrapDefinitions fixMergeModules mkRemovedOptionModule
|
|
|
|
mkRenamedOptionModule mkMergedOptionModule mkChangedOptionModule
|
|
|
|
mkAliasOptionModule doRename filterModules;
|
|
|
|
inherit (options) isOption mkEnableOption mkSinkUndeclaredOptions
|
|
|
|
mergeDefaultOption mergeOneOption mergeEqualOption getValues
|
|
|
|
getFiles optionAttrSetToDocList optionAttrSetToDocList'
|
|
|
|
scrubOptionValue literalExample showOption showFiles
|
|
|
|
unknownModule mkOption;
|
|
|
|
inherit (types) isType setType defaultTypeMerge defaultFunctor
|
|
|
|
isOptionType mkOptionType;
|
2018-08-08 19:26:52 +02:00
|
|
|
inherit (asserts)
|
|
|
|
assertMsg assertOneOf;
|
2018-04-02 17:21:35 +02:00
|
|
|
inherit (debug) addErrorContextToAttrs traceIf traceVal traceValFn
|
2017-07-29 02:05:35 +02:00
|
|
|
traceXMLVal traceXMLValMarked traceSeq traceSeqN traceValSeq
|
2018-04-02 17:21:35 +02:00
|
|
|
traceValSeqFn traceValSeqN traceValSeqNFn traceShowVal
|
|
|
|
traceShowValMarked showVal traceCall traceCall2 traceCall3
|
2018-05-11 17:12:15 +02:00
|
|
|
traceValIfNot runTests testAllTrue traceCallXml attrNamesToStr;
|
2017-07-29 02:05:35 +02:00
|
|
|
inherit (misc) maybeEnv defaultMergeArg defaultMerge foldArgs
|
|
|
|
defaultOverridableDelayableArgs composedArgsAndFun
|
|
|
|
maybeAttrNullable maybeAttr ifEnable checkFlag getValue
|
|
|
|
checkReqs uniqList uniqListExt condConcat lazyGenericClosure
|
|
|
|
innerModifySumArgs modifySumArgs innerClosePropagation
|
|
|
|
closePropagation mapAttrsFlatten nvs setAttr setAttrMerge
|
|
|
|
mergeAttrsWithFunc mergeAttrsConcatenateValues
|
|
|
|
mergeAttrsNoOverride mergeAttrByFunc mergeAttrsByFuncDefaults
|
2018-05-11 17:12:15 +02:00
|
|
|
mergeAttrsByFuncDefaultsClean mergeAttrBy prepareDerivationArgs
|
|
|
|
nixType imap overridableDelayableArgs;
|
2018-04-06 18:51:10 +02:00
|
|
|
});
|
2017-07-29 02:05:35 +02:00
|
|
|
in lib
|