blob: 867025f02cdf02f8e59b054d87e82b484ff4b441 (
plain) (
blame)
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
|
# 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 Barvinok(AutotoolsPackage):
"""barvinok is a library for counting the number of integer points in parametric and
non-parametric polytopes."""
maintainers("vmiheer")
homepage = "https://barvinok.gforge.inria.fr"
url = "http://barvinok.gforge.inria.fr/barvinok-0.41.5.tar.bz2"
version("0.41.5", sha256="e70493318fe76c0c202f98d7861bdf5dda8c4d79c21024af2e04b009ffa79734")
variant(
"pet",
default=False,
description="Enable pet support (Generate polyhedral model from c code)",
)
depends_on("gmp")
depends_on("ntl")
depends_on("llvm +clang", when="+pet")
depends_on("libyaml", when="+pet")
def setup_build_environment(self, env):
env.set("CFLAGS", "-pthread")
def configure_args(self):
spec = self.spec
args = ["--with-gmp-prefix={0}".format(self.spec["gmp"].prefix)]
if "+pet" in spec:
args.append("--with-pet=bundled")
return args
|
