diff options
| -rw-r--r-- | lib/spack/spack/solver/asp.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py index bc26619d6c..4650255271 100644 --- a/lib/spack/spack/solver/asp.py +++ b/lib/spack/spack/solver/asp.py @@ -566,10 +566,6 @@ class PyclingoDriver(object): setup.setup(self, specs) timer.phase("setup") - # If we're only doing setup, just return an empty solve result - if setup_only: - return Result(specs) - # read in the main ASP program and display logic -- these are # handwritten, not generated, so we load them as resources parent_dir = os.path.dirname(__file__) @@ -588,6 +584,10 @@ class PyclingoDriver(object): path = os.path.join(parent_dir, 'concretize.lp') parse_files([path], visit) + # If we're only doing setup, just return an empty solve result + if setup_only: + return Result(specs) + # Load the file itself self.control.load(os.path.join(parent_dir, 'concretize.lp')) self.control.load(os.path.join(parent_dir, "display.lp")) |