Fixed broken iegenlib package (#12229)

* Fixed broken iegenlib package

* [IEGenLib] fixed for style

* [IEGenLib] style fixes

* [IEGenLib] removed CMAKE_BUILD_TYPE option from config_args
This commit is contained in:
Derick Huth 2019-08-09 09:14:17 -06:00 committed by Adam J. Stewart
parent e203068125
commit 850b2ad42e

View File

@ -6,7 +6,7 @@
from spack import *
class Iegenlib(AutotoolsPackage):
class Iegenlib(CMakePackage):
"""Inspector/Executor Generation Library for manipulating sets
and relations with uninterpreted function symbols. """
@ -22,5 +22,21 @@ class Iegenlib(AutotoolsPackage):
sha256='b4c0b368363fcc1e34b388057cc0940bb87fc336cebb0772fd6055f45009b12b')
depends_on('cmake@2.6:', type='build')
depends_on('isl')
depends_on('autoconf', type='build')
depends_on('texinfo', type='build')
depends_on('isl')
build_directory = 'spack-build'
@run_before('cmake')
def make_dirs(self):
autoreconf = which('autoreconf')
with working_dir('lib/isl'):
autoreconf('-i')
mkdirp('spack-build/bin')
def cmake_args(self):
args = []
args.append('-DGEN_PARSER=no')
args.append('-DBUILD_PYTHON=no')
return args