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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
# Copyright 2013-2023 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 *
from spack.pkg.builtin.clingo import Clingo
class ClingoBootstrap(Clingo):
"""Clingo with some options used for bootstrapping"""
maintainers("alalazo")
variant("build_type", default="Release", values=("Release",), description="CMake build type")
variant("static_libstdcpp", default=False, description="Require a static version of libstdc++")
# CMake at version 3.16.0 or higher has the possibility to force the
# Python interpreter, which is crucial to build against external Python
# in environment where more than one interpreter is in the same prefix
depends_on("cmake@3.16.0:", type="build")
# On Linux we bootstrap with GCC
for compiler_spec in [c for c in spack.compilers.supported_compilers() if c != "gcc"]:
conflicts(
"%{0}".format(compiler_spec),
when="platform=linux",
msg="GCC is required to bootstrap clingo on Linux",
)
conflicts(
"%{0}".format(compiler_spec),
when="platform=cray",
msg="GCC is required to bootstrap clingo on Cray",
)
conflicts("%gcc@:5", msg="C++14 support is required to bootstrap clingo")
# On Darwin we bootstrap with Apple Clang
for compiler_spec in [c for c in spack.compilers.supported_compilers() if c != "apple-clang"]:
conflicts(
"%{0}".format(compiler_spec),
when="platform=darwin",
msg="Apple-clang is required to bootstrap clingo on MacOS",
)
# Clingo needs the Python module to be usable by Spack
conflicts("~python", msg="Python support is required to bootstrap Spack")
@property
def cmake_py_shared(self):
return self.define("CLINGO_BUILD_PY_SHARED", "OFF")
def cmake_args(self):
args = super(ClingoBootstrap, self).cmake_args()
args.extend(
[
# Avoid building the clingo executable
self.define("CLINGO_BUILD_APPS", "OFF"),
]
)
return args
def setup_build_environment(self, env):
opts = None
if "%apple-clang platform=darwin" in self.spec:
opts = "-mmacosx-version-min=10.13"
elif "%gcc" in self.spec:
if "+static_libstdcpp" in self.spec:
# This is either linux or cray
opts = "-static-libstdc++ -static-libgcc -Wl,--exclude-libs,ALL"
elif "platform=windows" in self.spec:
pass
else:
msg = 'unexpected compiler for spec "{0}"'.format(self.spec)
raise RuntimeError(msg)
if opts:
env.set("CXXFLAGS", opts)
env.set("LDFLAGS", opts)
|
