37 lines
1.2 KiB
Python
37 lines
1.2 KiB
Python
# Copyright 2013-2022 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 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
|