summaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)AuthorFilesLines
2020-11-17concretizer: concretize a virtual rootMassimiliano Culpo4-5/+41
2020-11-17concretizer: handle version preferences from packages.yamlMassimiliano Culpo2-2/+22
2020-11-17concretizer: handle target preferences from packages.yamlMassimiliano Culpo2-9/+45
2020-11-17concretizer: fixed test on compiler preferencesMassimiliano Culpo3-3/+3
2020-11-17concretizer: added logic for preferred variantsMassimiliano Culpo3-20/+58
2020-11-17concretizer: refine compiler logicMassimiliano Culpo4-17/+42
2020-11-17Fixed failing unit testsMassimiliano Culpo2-10/+11
2020-11-17concretizer: prefer using the same compiler over using newer versionsMassimiliano Culpo1-5/+5
2020-11-17concretizer: added support for versioned virtual specsMassimiliano Culpo2-29/+96
2020-11-17concretizer: added rules and code for externalsMassimiliano Culpo4-28/+178
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