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]