7b9f8abce5
Add language dependencies `c`, `cxx`, and `fortran`. These `depends_on` statements are auto-generated based on file extensions found in source tarballs/zipfiles. The `# generated` comment can be removed by package maintainers after validating correctness.
62 lines
2.5 KiB
Python
62 lines
2.5 KiB
Python
# Copyright 2013-2024 Lawrence Livermore National Security, LLC and other
|
|
# Spack Project Developers. See the top-level COPYRIGHT file for details.
|
|
#
|
|
# SPDX-License-Identifier: (Apache-2.0 OR MIT)
|
|
|
|
|
|
from spack.package import *
|
|
|
|
|
|
class Z3(CMakePackage):
|
|
"""Z3 is a theorem prover from Microsoft Research.
|
|
It is licensed under the MIT license."""
|
|
|
|
homepage = "https://github.com/Z3Prover/z3/wiki"
|
|
url = "https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz"
|
|
|
|
maintainers("vmiheer")
|
|
|
|
license("MIT")
|
|
|
|
version("4.12.4", sha256="25e9b18d04ee22f1d872dfe0daaf4c39034744525214e34fedd206e25140e96e")
|
|
version("4.11.2", sha256="e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e")
|
|
version("4.8.16", sha256="75f95e09f3f35fef746e571d5ec88a4efba27f1bc8f1a0ef1117167486ec3dc6")
|
|
version("4.8.15", sha256="2abe7f5ecb7c8023b712ffba959c55b4515f4978522a6882391de289310795ac")
|
|
version("4.8.14", sha256="96a1f49a7701120cc38bfa63c02ff93be4d64c7926cea41977dedec7d87a1364")
|
|
version("4.8.9", sha256="c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4")
|
|
version("4.8.8", sha256="6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff")
|
|
version("4.8.7", sha256="8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3")
|
|
version("4.5.0", sha256="aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c")
|
|
|
|
depends_on("c", type="build") # generated
|
|
depends_on("cxx", type="build") # generated
|
|
|
|
variant("python", default=False, description="Enable python binding")
|
|
depends_on("python", type="build", when="~python")
|
|
depends_on("python", type=("build", "run"), when="+python")
|
|
depends_on("py-setuptools", type=("run"), when="+python")
|
|
extends("python", when="+python")
|
|
|
|
variant("gmp", default=False, description="GNU multiple precision library support")
|
|
depends_on("cmake@3.4:", type="build")
|
|
depends_on("gmp", when="+gmp", type=("build", "link"))
|
|
|
|
# Referenced: https://github.com/Z3Prover/z3/issues/1016
|
|
patch("fix_1016_2.patch", when="@4.5.0")
|
|
|
|
build_directory = "build"
|
|
|
|
def cmake_args(self):
|
|
spec = self.spec
|
|
|
|
args = [
|
|
self.define_from_variant("Z3_USE_LIB_GMP", "gmp"),
|
|
self.define_from_variant("Z3_BUILD_PYTHON_BINDINGS", "python"),
|
|
self.define_from_variant("Z3_INSTALL_PYTHON_BINDINGS", "python"),
|
|
]
|
|
|
|
if spec.satisfies("+python"):
|
|
args.append(self.define("CMAKE_INSTALL_PYTHON_PKG_DIR", python_platlib))
|
|
|
|
return args
|