diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2020-05-12 02:15:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-12 11:15:42 +0200 |
| commit | a44f487a1d5b2f88675d4053485c338c64340a76 (patch) | |
| tree | 8558ea595ab7877312ea3de0c36407a358f70849 /.coveragerc | |
| parent | 80e7a615974a02a16ebe68f42c32e49af4e2a4be (diff) | |
| download | spack-a44f487a1d5b2f88675d4053485c338c64340a76.tar.gz spack-a44f487a1d5b2f88675d4053485c338c64340a76.tar.bz2 spack-a44f487a1d5b2f88675d4053485c338c64340a76.tar.xz spack-a44f487a1d5b2f88675d4053485c338c64340a76.zip | |
z3: update python dependency (#16597)
-[x] `z3` needs a dependency on `py-setuptools`
-[x] `z3` has a run dependency on `python`, so we might as well make
building with the python bindings default
Diffstat (limited to '.coveragerc')
0 files changed, 0 insertions, 0 deletions