def CheckMETIS(ctx, required=True):
env = ctx.env
ctx.Message('Checking for METIS ... ')
Package.check_options(env, 'METIS')
res = Package.CheckPkg(ctx, 'METIS', metis_text, metis_libs)
Package.Required('METIS', res[0], required)
ctx.Result(res[0])
return res[0]
def CheckUTBot(ctx, required=True):
env = ctx.env
ctx.Message('Checking for UTBot ... ')
Package.check_options(env, 'UTBot')
res = Package.CheckPkg(ctx, 'UTBot', utbot_text, utbot_libs, ext='.cc')
Package.Required('UTBot', res[0], required)
ctx.Result(res[0])
return res[0]
def CheckPETSc(ctx, required=True):
env = ctx.env
ctx.Message('Checking for PETSc ... ')
Package.check_options(env, 'PETSc')
res = Package.CheckPkg(ctx,
'PETSc',
petsc_text,
petsc_libs,
petsc_extra_libs,
loc_callback=find_conf)
Package.Required('PETSc', res[0], required)
ctx.Result(res[0])
return res[0]
def CheckKLEE(ctx, required=True):
env = ctx.env
ctx.Message('Checking for KLEE ... ')
Package.check_options(env, 'KLEE')
res = Package.CheckPkg(ctx,
'KLEE',
klee_text,
klee_libs,
auto_add_libs=False,
run=False)
Package.Required('KLEE', res[0], required)
ctx.Result(res[0])
return res[0]
