Exemplo n.º 1
0
def AddOptions(vars):
    Package.AddOptions(vars, 'PETSc')
Exemplo n.º 2
0
def AddOptions(vars):
    Package.AddOptions(vars, 'METIS')
Exemplo n.º 3
0
def AddOptions(vars):
    Package.AddOptions(vars, 'KLEE')
Exemplo n.º 4
0
def AddOptions(vars):
    Package.AddOptions(vars, 'UTBot')