Skip to content
Snippets Groups Projects
Unverified Commit a3e1b2bd authored by Tom Scogland's avatar Tom Scogland Committed by GitHub
Browse files

llvm: libomptarget support (#14060) 

This allows the llvm build to support:

* clang cuda
* libomptarget for:
  * current host
  * cuda
* bitcode compilation of libomptarget device runtime for inlining by 
  bootstrapping libomptarget
* split dwarf information support as an option for debug builds, if you need a
  debug build, for the love of all that's good in the universe use this flag
* adds necessary dependencies for shared library builds and libomp and
  libomp target to build correctly
* new version of z3 to make it sufficient to build recent llvm

The actual change is much smaller than the diff, this is because it's been formatted with black.  I realize this kinda sucks right now, but I'm hoping it will make future updates here less painful.
parent f3c2ebbf
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
var/spack/repos/builtin/packages/llvm/package.py
+ 298
− 182
View file @ a3e1b2bd
...@@ -15,14 +15,17 @@ class Llvm(CMakePackage): ...@@ -15,14 +15,17 @@ class Llvm(CMakePackage):
is not an acronym; it is the full name of the project. is not an acronym; it is the full name of the project.
""" """
homepage = 'http://llvm.org/' homepage = "http://llvm.org/"
url = "https://github.com/llvm/llvm-project/archive/llvmorg-7.1.0.tar.gz" url = "https://github.com/llvm/llvm-project/archive/llvmorg-7.1.0.tar.gz"
list_url = 'http://releases.llvm.org/download.html' list_url = "http://releases.llvm.org/download.html"
git = 'https://github.com/llvm/llvm-project' git = "https://github.com/llvm/llvm-project"
maintainers = ['trws']
family = 'compiler' # Used by lmod family = "compiler" # Used by lmod
# fmt: off
version('master', branch='master') version('master', branch='master')
version('10.0.0', sha256='b81c96d2f8f40dc61b14a167513d87c0d813aae0251e06e11ae8a4384ca15451')
version('9.0.1', sha256='be7b034641a5fda51ffca7f5d840b1a768737779f75f7c4fd18fe2d37820289a') version('9.0.1', sha256='be7b034641a5fda51ffca7f5d840b1a768737779f75f7c4fd18fe2d37820289a')
version('9.0.0', sha256='7807fac25330e24e9955ca46cd855dd34bbc9cc4fdba8322366206654d1036f2') version('9.0.0', sha256='7807fac25330e24e9955ca46cd855dd34bbc9cc4fdba8322366206654d1036f2')
version('8.0.0', sha256='d81238b4a69e93e29f74ce56f8107cbfcf0c7d7b40510b7879e98cc031e25167') version('8.0.0', sha256='d81238b4a69e93e29f74ce56f8107cbfcf0c7d7b40510b7879e98cc031e25167')
...@@ -43,123 +46,176 @@ class Llvm(CMakePackage): ...@@ -43,123 +46,176 @@ class Llvm(CMakePackage):
version('3.7.0', sha256='dc00bc230be2006fb87b84f6fe4800ca28bc98e6692811a98195da53c9cb28c6') version('3.7.0', sha256='dc00bc230be2006fb87b84f6fe4800ca28bc98e6692811a98195da53c9cb28c6')
version('3.6.2', sha256='f75d703a388ba01d607f9cf96180863a5e4a106827ade17b221d43e6db20778a') version('3.6.2', sha256='f75d703a388ba01d607f9cf96180863a5e4a106827ade17b221d43e6db20778a')
version('3.5.1', sha256='5d739684170d5b2b304e4fb521532d5c8281492f71e1a8568187bfa38eb5909d') version('3.5.1', sha256='5d739684170d5b2b304e4fb521532d5c8281492f71e1a8568187bfa38eb5909d')
# fmt: on
# NOTE: The debug version of LLVM is an order of magnitude larger than # NOTE: The debug version of LLVM is an order of magnitude larger than
# the release version, and may take up 20-30 GB of space. If you want # the release version, and may take up 20-30 GB of space. If you want
# to save space, build with `build_type=Release`. # to save space, build with `build_type=Release`.
variant('clang', default=True, variant(
description="Build the LLVM C/C++/Objective-C compiler frontend") "clang",
default=True,
# TODO: The current version of this package unconditionally disables CUDA. description="Build the LLVM C/C++/Objective-C compiler frontend",
# Better would be to add a "cuda" variant that: )
# - Adds dependency on the "cuda" package when enabled
# - Sets the necessary CMake flags when enabled variant(
# - Disables CUDA (as this current version does) only when the "cuda",
# variant is also disabled. default=False,
description="Build LLVM with CUDA, required for nvptx offload",
# variant('cuda', default=False, )
# description="Build the LLVM with CUDA features enabled") variant(
"nvptx_offload_ccs",
variant('lldb', default=True, description="Build the LLVM debugger") default="35,60,70,75",
variant('lld', default=True, description="Build the LLVM linker") multi=True,
variant('internal_unwind', default=True, description="NVIDIA compute cabailities to make inlining capable",
description="Build the libcxxabi libunwind") )
variant('polly', default=True,
description="Build the LLVM polyhedral optimization plugin, " variant(
"only builds for 3.7.0+") "omp_debug",
variant('libcxx', default=True, default=False,
description="Build the LLVM C++ standard library") description="Include debugging code in OpenMP runtime libraries",
variant('compiler-rt', default=True, )
description="Build LLVM compiler runtime, including sanitizers") variant("lldb", default=True, description="Build the LLVM debugger")
variant('gold', default=(sys.platform != 'darwin'), variant("lld", default=True, description="Build the LLVM linker")
description="Add support for LTO with the gold linker plugin") variant(
variant('shared_libs', default=False, "internal_unwind",
description="Build all components as shared libraries, faster, " default=True,
"less memory to build, less stable") description="Build the libcxxabi libunwind",
variant('link_dylib', default=False, )
description="Build and link the libLLVM shared library rather " variant(
"than static") "polly",
variant('all_targets', default=False, default=True,
description="Build all supported targets, default targets " description="Build the LLVM polyhedral optimization plugin, "
"<current arch>,NVPTX,AMDGPU,CppBackend") "only builds for 3.7.0+",
variant('build_type', default='Release', )
description='CMake build type', variant(
values=('Debug', 'Release', 'RelWithDebInfo', 'MinSizeRel')) "libcxx",
variant('omp_tsan', default=False, default=True,
description="Build with OpenMP capable thread sanitizer") description="Build the LLVM C++ standard library",
variant('python', default=False, description="Install python bindings") )
variant(
extends('python', when='+python') "compiler-rt",
default=True,
description="Build LLVM compiler runtime, including sanitizers",
)
variant(
"gold",
default=(sys.platform != "darwin"),
description="Add support for LTO with the gold linker plugin",
)
variant(
"split_dwarf",
default=False,
description="Build with split dwarf information",
)
variant(
"shared_libs",
default=False,
description="Build all components as shared libraries, faster, "
"less memory to build, less stable",
)
variant(
"all_targets",
default=False,
description="Build all supported targets, default targets "
"<current arch>,NVPTX,AMDGPU,CppBackend",
)
variant(
"build_type",
default="Release",
description="CMake build type",
values=("Debug", "Release", "RelWithDebInfo", "MinSizeRel"),
)
variant(
"omp_tsan",
default=False,
description="Build with OpenMP capable thread sanitizer",
)
variant("python", default=False, description="Install python bindings")
variant(
"flang",
default=False,
description="Build flang branch version instead",
)
extends("python", when="+python")
# Build dependency # Build dependency
depends_on('cmake@3.4.3:', type='build') depends_on("cmake@3.4.3:", type="build")
depends_on('python@2.7:2.8', when='@:4.999 ~python', type='build') depends_on("python@2.7:2.8", when="@:4.999 ~python", type="build")
depends_on('python', when='@5: ~python', type='build') depends_on("python@2.7:2.8", when="@5: ~python +flang", type="build")
depends_on("python", when="@5: ~python", type="build")
# Universal dependency # Universal dependency
depends_on('python@2.7:2.8', when='@:4.999+python') depends_on("python@2.7:2.8", when="@:4.999+python")
depends_on('python', when='@5:+python') depends_on("python@2.7:2.8", when="@5:+python+flang")
depends_on("python", when="@5:+python")
depends_on("z3", when="@9:")
# CUDA dependency
depends_on("cuda", when="+cuda")
# openmp dependencies # openmp dependencies
depends_on('perl-data-dumper', type=('build')) depends_on("perl-data-dumper", type=("build"))
depends_on("hwloc")
depends_on("libelf") # libomptarget
depends_on("libffi") # libomptarget
# ncurses dependency # ncurses dependency
depends_on('ncurses+termlib') depends_on("ncurses+termlib")
# lldb dependencies # lldb dependencies
depends_on('swig', when='+lldb') depends_on("swig", when="+lldb")
depends_on('libedit', when='+lldb') depends_on("libedit", when="+lldb")
depends_on('py-six', when='@5.0.0: +lldb +python') depends_on("py-six", when="@5.0.0: +lldb +python")
# gold support # gold support, required for some features
depends_on('binutils+gold', when='+gold') depends_on("binutils+gold", when="+gold")
# polly plugin # polly plugin
depends_on('gmp', when='@:3.6.999 +polly') depends_on("gmp", when="@:3.6.999 +polly")
depends_on('isl', when='@:3.6.999 +polly') depends_on("isl", when="@:3.6.999 +polly")
conflicts('+clang_extra', when='~clang') conflicts("+clang_extra", when="~clang")
conflicts('+lldb', when='~clang') conflicts("+lldb", when="~clang")
conflicts('+libcxx', when='~clang') conflicts("+libcxx", when="~clang")
conflicts('+internal_unwind', when='~clang') conflicts("+internal_unwind", when="~clang")
conflicts('+compiler-rt', when='~clang') conflicts("+compiler-rt", when="~clang")
# LLVM 4 and 5 does not build with GCC 8 # LLVM 4 and 5 does not build with GCC 8
conflicts('%gcc@8:', when='@:5') conflicts("%gcc@8:", when="@:5")
conflicts('%gcc@:5.0.999', when='@8:') conflicts("%gcc@:5.0.999", when="@8:")
# OMP TSAN exists in > 5.x # OMP TSAN exists in > 5.x
conflicts('+omp_tsan', when='@:5.99') conflicts("+omp_tsan", when="@:5.99")
# Github issue #4986 # Github issue #4986
patch('llvm_gcc7.patch', when='@4.0.0:4.0.1+lldb %gcc@7.0:') patch("llvm_gcc7.patch", when="@4.0.0:4.0.1+lldb %gcc@7.0:")
# Backport from llvm master + additional fix # Backport from llvm master + additional fix
# see https://bugs.llvm.org/show_bug.cgi?id=39696 # see https://bugs.llvm.org/show_bug.cgi?id=39696
# for a bug report about this problem in llvm master. # for a bug report about this problem in llvm master.
patch('constexpr_longdouble.patch', when='@6:8+libcxx') patch("constexpr_longdouble.patch", when="@6:8+libcxx")
patch('constexpr_longdouble_9.0.patch', when='@9+libcxx') patch("constexpr_longdouble_9.0.patch", when="@9+libcxx")
# Backport from llvm master; see # Backport from llvm master; see
# https://bugs.llvm.org/show_bug.cgi?id=38233 # https://bugs.llvm.org/show_bug.cgi?id=38233
# for a bug report about this problem in llvm master. # for a bug report about this problem in llvm master.
patch('llvm_py37.patch', when='@4:6 ^python@3.7:') patch("llvm_py37.patch", when="@4:6 ^python@3.7:")
# https://bugs.llvm.org/show_bug.cgi?id=39696 # https://bugs.llvm.org/show_bug.cgi?id=39696
patch('thread-p9.patch', when='@develop+libcxx') patch("thread-p9.patch", when="@develop+libcxx")
@run_before('cmake') @run_before("cmake")
def check_darwin_lldb_codesign_requirement(self): def check_darwin_lldb_codesign_requirement(self):
if not self.spec.satisfies('+lldb platform=darwin'): if not self.spec.satisfies("+lldb platform=darwin"):
return return
codesign = which('codesign') codesign = which("codesign")
mkdir('tmp') mkdir("tmp")
llvm_check_file = join_path('tmp', 'llvm_check') llvm_check_file = join_path("tmp", "llvm_check")
copy('/usr/bin/false', llvm_check_file) copy("/usr/bin/false", llvm_check_file)
try: try:
codesign('-f', '-s', 'lldb_codesign', '--dryrun', codesign("-f", "-s", "lldb_codesign", "--dryrun", llvm_check_file)
llvm_check_file)
except ProcessError: except ProcessError:
# Newer LLVM versions have a simple script that sets up # Newer LLVM versions have a simple script that sets up
...@@ -170,140 +226,200 @@ def check_darwin_lldb_codesign_requirement(self): ...@@ -170,140 +226,200 @@ def check_darwin_lldb_codesign_requirement(self):
except Exception: except Exception:
raise RuntimeError( raise RuntimeError(
'The "lldb_codesign" identity must be available to build ' 'The "lldb_codesign" identity must be available to build '
'LLVM with LLDB. See https://lldb.llvm.org/resources/' "LLVM with LLDB. See https://lldb.llvm.org/resources/"
'build.html#code-signing-on-macos for details on how to ' "build.html#code-signing-on-macos for details on how to "
'create this identity.' "create this identity."
) )
def setup_build_environment(self, env): def setup_build_environment(self, env):
env.append_flags('CXXFLAGS', self.compiler.cxx11_flag) env.append_flags("CXXFLAGS", self.compiler.cxx11_flag)
def setup_run_environment(self, env): def setup_run_environment(self, env):
if '+clang' in self.spec: if "+clang" in self.spec:
env.set('CC', join_path(self.spec.prefix.bin, 'clang')) env.set("CC", join_path(self.spec.prefix.bin, "clang"))
env.set('CXX', join_path(self.spec.prefix.bin, 'clang++')) env.set("CXX", join_path(self.spec.prefix.bin, "clang++"))
root_cmakelists_dir = 'llvm' root_cmakelists_dir = "llvm"
def cmake_args(self): def cmake_args(self):
spec = self.spec spec = self.spec
cmake_args = [ cmake_args = [
'-DLLVM_REQUIRES_RTTI:BOOL=ON', "-DLLVM_REQUIRES_RTTI:BOOL=ON",
'-DLLVM_ENABLE_RTTI:BOOL=ON', "-DLLVM_ENABLE_RTTI:BOOL=ON",
'-DLLVM_ENABLE_EH:BOOL=ON', "-DLLVM_ENABLE_EH:BOOL=ON",
'-DCLANG_DEFAULT_OPENMP_RUNTIME:STRING=libomp', "-DCLANG_DEFAULT_OPENMP_RUNTIME:STRING=libomp",
'-DPYTHON_EXECUTABLE:PATH={0}'.format(spec['python'].command.path), "-DPYTHON_EXECUTABLE:PATH={0}".format(spec["python"].command.path),
"-DLIBOMP_USE_HWLOC=On",
] ]
projects = [] projects = []
# TODO: Instead of unconditionally disabling CUDA, add a "cuda" variant if "+cuda" in spec:
# (see TODO above), and set the paths if enabled. cmake_args.extend(
cmake_args.extend([ [
'-DCUDA_TOOLKIT_ROOT_DIR:PATH=IGNORE', "-DCUDA_TOOLKIT_ROOT_DIR:PATH=" + spec["cuda"].prefix,
'-DCUDA_SDK_ROOT_DIR:PATH=IGNORE', "-DLIBOMPTARGET_NVPTX_COMPUTE_CAPABILITIES={0}".format(
'-DCUDA_NVCC_EXECUTABLE:FILEPATH=IGNORE', ",".join(spec.variants["nvptx_offload_ccs"].value)
'-DLIBOMPTARGET_DEP_CUDA_DRIVER_LIBRARIES:STRING=IGNORE']) ),
"-DCLANG_OPENMP_NVPTX_DEFAULT_ARCH=sm_{0}".format(
if '+python' in spec and '+lldb' in spec and spec.satisfies('@5.0.0:'): spec.variants["nvptx_offload_ccs"].value[-1]
cmake_args.append('-DLLDB_USE_SYSTEM_SIX:Bool=TRUE') ),
]
if '~python' in spec and '+lldb' in spec: )
cmake_args.append('-DLLDB_DISABLE_PYTHON:Bool=TRUE') else:
# still build libomptarget but disable cuda
if '+gold' in spec: cmake_args.extend(
cmake_args.append('-DLLVM_BINUTILS_INCDIR=' + [
spec['binutils'].prefix.include) "-DCUDA_TOOLKIT_ROOT_DIR:PATH=IGNORE",
"-DCUDA_SDK_ROOT_DIR:PATH=IGNORE",
if '+clang' in spec: "-DCUDA_NVCC_EXECUTABLE:FILEPATH=IGNORE",
projects.append('clang') "-DLIBOMPTARGET_DEP_CUDA_DRIVER_LIBRARIES:STRING=IGNORE",
projects.append('clang-tools-extra') ]
projects.append('openmp') )
if '+lldb' in spec:
projects.append('lldb') if "+omp_debug" in spec:
if '+lld' in spec: cmake_args.append("-DLIBOMPTARGET_ENABLE_DEBUG:Bool=ON")
projects.append('lld')
if '+compiler-rt' in spec: if "+python" in spec and "+lldb" in spec and spec.satisfies("@5.0.0:"):
projects.append('compiler-rt') cmake_args.append("-DLLDB_USE_SYSTEM_SIX:Bool=TRUE")
if '+libcxx' in spec:
projects.append('libcxx') if "~python" in spec and "+lldb" in spec:
projects.append('libcxxabi') cmake_args.append("-DLLDB_DISABLE_PYTHON:Bool=TRUE")
if spec.satisfies('@3.9.0:'):
cmake_args.append('-DCLANG_DEFAULT_CXX_STDLIB=libc++') if "+gold" in spec:
if '+internal_unwind' in spec: cmake_args.append(
projects.append('libunwind') "-DLLVM_BINUTILS_INCDIR=" + spec["binutils"].prefix.include
if '+polly' in spec: )
projects.append('polly')
cmake_args.append('-DLINK_POLLY_INTO_TOOLS:Bool=ON') if "+clang" in spec:
projects.append("clang")
if '+shared_libs' in spec: projects.append("clang-tools-extra")
cmake_args.append('-DBUILD_SHARED_LIBS:Bool=ON') projects.append("openmp")
if "+lldb" in spec:
if '+link_dylib' in spec: projects.append("lldb")
cmake_args.append('-DLLVM_LINK_LLVM_DYLIB:Bool=ON') if "+lld" in spec:
projects.append("lld")
if '+all_targets' not in spec: # all is default on cmake if "+compiler-rt" in spec:
projects.append("compiler-rt")
targets = ['NVPTX', 'AMDGPU'] if "+libcxx" in spec:
if (spec.version < Version('3.9.0')): projects.append("libcxx")
projects.append("libcxxabi")
if spec.satisfies("@3.9.0:"):
cmake_args.append("-DCLANG_DEFAULT_CXX_STDLIB=libc++")
if "+internal_unwind" in spec:
projects.append("libunwind")
if "+polly" in spec:
projects.append("polly")
cmake_args.append("-DLINK_POLLY_INTO_TOOLS:Bool=ON")
if "+shared_libs" in spec:
cmake_args.append("-DBUILD_SHARED_LIBS:Bool=ON")
if "+omp_debug" in spec:
cmake_args.append("-DLIBOMPTARGET_ENABLE_DEBUG:Bool=ON")
if "+split_dwarf" in spec:
cmake_args.append("-DLLVM_USE_SPLIT_DWARF:Bool=ON")
if "+all_targets" not in spec: # all is default on cmake
targets = ["NVPTX", "AMDGPU"]
if spec.version < Version("3.9.0"):
# Starting in 3.9.0 CppBackend is no longer a target (see # Starting in 3.9.0 CppBackend is no longer a target (see
# LLVM_ALL_TARGETS in llvm's top-level CMakeLists.txt for # LLVM_ALL_TARGETS in llvm's top-level CMakeLists.txt for
# the complete list of targets) # the complete list of targets)
targets.append('CppBackend') targets.append("CppBackend")
if spec.target.family == 'x86' or spec.target.family == 'x86_64': if spec.target.family == "x86" or spec.target.family == "x86_64":
targets.append('X86') targets.append("X86")
elif spec.target.family == 'arm': elif spec.target.family == "arm":
targets.append('ARM') targets.append("ARM")
elif spec.target.family == 'aarch64': elif spec.target.family == "aarch64":
targets.append('AArch64') targets.append("AArch64")
elif (spec.target.family == 'sparc' or elif (
spec.target.family == 'sparc64'): spec.target.family == "sparc"
targets.append('Sparc') or spec.target.family == "sparc64"
elif (spec.target.family == 'ppc64' or ):
spec.target.family == 'ppc64le' or targets.append("Sparc")
spec.target.family == 'ppc' or elif (
spec.target.family == 'ppcle'): spec.target.family == "ppc64"
targets.append('PowerPC') or spec.target.family == "ppc64le"
or spec.target.family == "ppc"
or spec.target.family == "ppcle"
):
targets.append("PowerPC")
cmake_args.append( cmake_args.append(
'-DLLVM_TARGETS_TO_BUILD:STRING=' + ';'.join(targets)) "-DLLVM_TARGETS_TO_BUILD:STRING=" + ";".join(targets)
)
if '+omp_tsan' in spec: if "+omp_tsan" in spec:
cmake_args.append('-DLIBOMP_TSAN_SUPPORT=ON') cmake_args.append("-DLIBOMP_TSAN_SUPPORT=ON")
if self.compiler.name == 'gcc': if self.compiler.name == "gcc":
gcc_prefix = ancestor(self.compiler.cc, 2) gcc_prefix = ancestor(self.compiler.cc, 2)
cmake_args.append('-DGCC_INSTALL_PREFIX=' + gcc_prefix) cmake_args.append("-DGCC_INSTALL_PREFIX=" + gcc_prefix)
if spec.satisfies('@4.0.0:'): if spec.satisfies("@4.0.0:"):
if spec.satisfies('platform=cray') or \ if spec.satisfies("platform=cray") or spec.satisfies(
spec.satisfies('platform=linux'): "platform=linux"
cmake_args.append('-DCMAKE_BUILD_WITH_INSTALL_RPATH=1') ):
cmake_args.append("-DCMAKE_BUILD_WITH_INSTALL_RPATH=1")
# Semicolon seperated list of projects to enable # Semicolon seperated list of projects to enable
cmake_args.append( cmake_args.append(
'-DLLVM_ENABLE_PROJECTS:STRING={0}'.format(';'.join(projects))) "-DLLVM_ENABLE_PROJECTS:STRING={0}".format(";".join(projects))
)
return cmake_args return cmake_args
@run_before('build') @run_before("build")
def pre_install(self): def pre_install(self):
with working_dir(self.build_directory): with working_dir(self.build_directory):
# When building shared libraries these need to be installed first # When building shared libraries these need to be installed first
make('install-LLVMTableGen') make("install-LLVMTableGen")
if self.spec.version >= Version('4.0.0'): if self.spec.version >= Version("4.0.0"):
# LLVMDemangle target was added in 4.0.0 # LLVMDemangle target was added in 4.0.0
make('install-LLVMDemangle') make("install-LLVMDemangle")
make('install-LLVMSupport') make("install-LLVMSupport")
@run_after('install') @run_after("install")
def post_install(self): def post_install(self):
if '+python' in self.spec: spec = self.spec
install_tree('llvm/bindings/python', site_packages_dir)
# unnecessary if we get bootstrap builds in here
if "+cuda" in self.spec:
ompdir = "build-bootstrapped-omp"
# rebuild libomptarget to get bytecode runtime library files
with working_dir(ompdir, create=True):
cmake_args = [
self.stage.source_path + "/openmp",
"-DCMAKE_C_COMPILER:PATH={0}".format(
spec.prefix.bin + "/clang"
),
"-DCMAKE_CXX_COMPILER:PATH={0}".format(
spec.prefix.bin + "/clang++"
),
"-DCMAKE_INSTALL_PREFIX:PATH={0}".format(spec.prefix),
]
cmake_args.extend(self.cmake_args())
cmake_args.append('-DLIBOMPTARGET_NVPTX_ENABLE_BCLIB=true')
# work around bad libelf detection in libomptarget
cmake_args.append(
"-DCMAKE_CXX_FLAGS:String=-I{0} -I{1}".format(
spec["libelf"].prefix.include,
spec["hwloc"].prefix.include,
)
)
cmake(*cmake_args)
make()
make("install")
if "+python" in self.spec:
install_tree("llvm/bindings/python", site_packages_dir)
if '+clang' in self.spec: if "+clang" in self.spec:
install_tree('clang/bindings/python', site_packages_dir) install_tree("clang/bindings/python", site_packages_dir)
with working_dir(self.build_directory): with working_dir(self.build_directory):
install_tree('bin', join_path(self.prefix, 'libexec', 'llvm')) install_tree("bin", join_path(self.prefix, "libexec", "llvm"))
var/spack/repos/builtin/packages/z3/package.py
+ 1
− 0
View file @ a3e1b2bd
...@@ -14,6 +14,7 @@ class Z3(MakefilePackage): ...@@ -14,6 +14,7 @@ class Z3(MakefilePackage):
homepage = "https://github.com/Z3Prover/z3/wiki" homepage = "https://github.com/Z3Prover/z3/wiki"
url = "https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz" url = "https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz"
version('4.8.7', sha256='8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3')
version('4.5.0', sha256='aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c') version('4.5.0', sha256='aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c')
version('4.4.1', sha256='50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce') version('4.4.1', sha256='50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce')
version('4.4.0', sha256='65b72f9eb0af50949e504b47080fb3fc95f11c435633041d9a534473f3142cba') version('4.4.0', sha256='65b72f9eb0af50949e504b47080fb3fc95f11c435633041d9a534473f3142cba')
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment