예제 #1
0
def AddOptions(vars):
    Package.AddOptions(vars, 'PETSc')
예제 #2
0
def AddOptions(vars):
    Package.AddOptions(vars, 'METIS')
예제 #3
0
def AddOptions(vars):
    Package.AddOptions(vars, 'KLEE')
예제 #4
0
def AddOptions(vars):
    Package.AddOptions(vars, 'UTBot')