Massimiliano Culpo 43cea1b354 Bootstrapping: swap store before configuration (#22631) ... fixes #22294 A combination of the swapping order for global variables and the fact that most of them are lazily evaluated resulted in custom install tree not being taken into account if clingo had to be bootstrapped. This commit fixes that particular issue, but a broader refactor may be needed to ensure that similar situations won't affect us in the future.		2021-05-22 11:51:20 -07:00
..
spack	Bootstrapping: swap store before configuration (#22631)	2021-05-22 11:51:20 -07:00