summaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)AuthorFilesLines
2020-11-17package_sanity: fixed wrong string formatMassimiliano Culpo1-1/+1
2020-11-17concretizer: add conflict rules from packagesMassimiliano Culpo3-28/+72
2020-11-17test_noversion_pkg: generalized the error to be caughtMassimiliano Culpo1-2/+2
2020-11-17compiler constraints: deduplicate the list of compilers before encoding one_o...Massimiliano Culpo1-0/+1
2020-11-17concretizer: add compiler version constraintsTodd Gamblin6-61/+59
2020-11-17concretizer: use cardinality constraints for versionsTodd Gamblin4-42/+60
2020-11-17concretizer: first working version with pyclingo interfaceTodd Gamblin4-63/+300
2020-11-17concretizer: add a configuration option to use new or old concretizerTodd Gamblin3-1/+35
2020-11-17concretizer: use repository names, not specs with is_virtualTodd Gamblin2-1/+4
2020-11-17concretizer: refactor to support multiple solver backendsTodd Gamblin1-285/+276
2020-11-17concretizer: set spec constraints correctly for body and headTodd Gamblin1-3/+5
2020-11-17concretizer: allow non-default OS, inherit OS along dependenciesTodd Gamblin2-14/+30
2020-11-17tests: add framework to mock targetsTodd Gamblin5-7/+530
2020-11-17concretizer: split platforms, OS, and targets apart in Python and ASPTodd Gamblin2-25/+69
2020-11-17concretizer: targets are inherited like compilersTodd Gamblin1-1/+10
2020-11-17concretizer: change single-letter variables to descriptive namesTodd Gamblin1-108/+175
2020-11-17concretizer: handle compiler existence check settingsTodd Gamblin1-4/+27
2020-11-17concretizer: add initial package existence checkTodd Gamblin1-0/+12
2020-11-17concretizer: handle virtual spec constraints betterTodd Gamblin2-4/+11
2020-11-17concretizer: solve with compiler flags but preserve orderTodd Gamblin3-14/+166
2020-11-17concretizer: add timers around phasesTodd Gamblin2-4/+38
2020-11-17concretizer: optimize microarchitectures, constrained by compiler supportTodd Gamblin3-66/+145
2020-11-17concretizer bugfix: require at least one value for multi-value variantsTodd Gamblin1-0/+4
2020-11-17commands: add --json argument to `spack solve`Todd Gamblin1-10/+18
2020-11-17concretizer: make some rules into factsTodd Gamblin1-9/+5
2020-11-17concretizer bugfix: all variants need possible valuesTodd Gamblin1-0/+4
2020-11-17concretizer bugfix: fix generations of conditionals for dependenciesTodd Gamblin1-4/+7
2020-11-17concretizer bugfix: *at most* one provider for any virtualTodd Gamblin1-2/+2
2020-11-17concretizer: optimized for preferred virtuals before recent versionsTodd Gamblin2-5/+5
2020-11-17concretizer: handle compiler preferences with optimizationTodd Gamblin4-73/+126
2020-11-17concretizer: deterministic order for asp output for better diffsTodd Gamblin1-14/+14
2020-11-17concretizer: rename --dump to --showTodd Gamblin1-8/+8
2020-11-17concretizer: handle package namespacesTodd Gamblin1-0/+7
2020-11-17concretizer: handle constraints on dependencies, adjust optimizationTodd Gamblin3-10/+49
2020-11-17concretizer: handle dependency typesTodd Gamblin5-17/+42
2020-11-17concretizer: prioritize versions by package pref, newest, preferred, actualTodd Gamblin2-2/+53
2020-11-17concretizer: Use "competition" output format to avoid extra parsingTodd Gamblin2-18/+45
2020-11-17concretizer: handle virtual provider preferences from packages.yamlTodd Gamblin2-11/+83
2020-11-17concretizer: use clingo json output instead of textTodd Gamblin2-69/+85
2020-11-17concretizer: require only one provider for any virtual in the DAGTodd Gamblin2-4/+8
2020-11-17concretizer: handle variant defaults with optimizationTodd Gamblin2-9/+49
2020-11-17concretizer: support conditional dependenciesTodd Gamblin2-16/+63
2020-11-17variants: allow MultiValuedVariants to be constructed incrementallyTodd Gamblin2-5/+18
2020-11-17concretizer: initial support for virtual dependenciesTodd Gamblin2-6/+18
2020-11-17concretizer: print out virtualsTodd Gamblin2-2/+12
2020-11-17concretizer: handle versions with choice construct rather than conflictsTodd Gamblin1-40/+95
2020-11-17concretizer: add another definition pragma.Todd Gamblin1-0/+1
2020-11-17concretizer: cleanupTodd Gamblin1-14/+17
2020-11-17concretizer: use conditional literals for versions.Todd Gamblin2-24/+31
2020-11-17concretizer: mark depends_on/2 defined for solves without dependencies.Todd Gamblin1-0/+3