Home
last modified time | relevance | path

Searched refs:CONFIGURE_OPTIONS (Results 1 – 2 of 2) sorted by relevance

/petsc/
H A Dsetup.py81 CONFIGURE_OPTIONS = [] variable
105 CONFIGURE_OPTIONS.extend(shlex.split(options))
106 for i in CONFIGURE_OPTIONS:
126 if '--with-fc=0' in CONFIGURE_OPTIONS:
128 if '--with-debugging=1' not in CONFIGURE_OPTIONS:
130 if '--with-mpi=0' not in CONFIGURE_OPTIONS:
141 if '--with-cxx=0' not in CONFIGURE_OPTIONS:
146 if '--with-fc=0' not in CONFIGURE_OPTIONS:
154 options.extend(CONFIGURE_OPTIONS)
H A Dgmakefile304 -@echo "Using configure Options: ${CONFIGURE_OPTIONS}"