1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
# 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"
license("MIT")
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")
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",
join_path(
prefix.lib, "python%s" % spec["python"].version.up_to(2), "site-packages"
),
)
)
return args
|
