diff options
| author | John Jolly <john.jolly@gmail.com> | 2021-06-16 23:03:37 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-17 07:03:37 +0200 |
| commit | d31d339bf6805e1f2905b5262f5b24d53312e871 (patch) | |
| tree | 64bcb97eb5743add5783850123ca48956dcfb01b /.codecov.yml | |
| parent | 5692c15e3a0703af7579f61069c6ac2c0e1b67c5 (diff) | |
| download | spack-d31d339bf6805e1f2905b5262f5b24d53312e871.tar.gz spack-d31d339bf6805e1f2905b5262f5b24d53312e871.tar.bz2 spack-d31d339bf6805e1f2905b5262f5b24d53312e871.tar.xz spack-d31d339bf6805e1f2905b5262f5b24d53312e871.zip | |
z3: update package to use CMake build system (#24337)
The Z3 solver provides a Z3Config.cmake file when built using the CMake build
system. This submission changes the package build system to inherit the
CMakePackage type. In addition to changing the build system, this submission:
- Adds the GMP variant
- Removes v4.4.0 and v4.4.1 as CMake was implemented starting with v4.5.0
Diffstat (limited to '.codecov.yml')
0 files changed, 0 insertions, 0 deletions