Searched refs:cmd_petsc_opts (Results 1 – 1 of 1) sorted by relevance
434 cmd_petsc_opts = [ variable443 user_options = _config.user_options + cmd_petsc_opts553 user_options += cmd_petsc_opts602 user_options = _build_ext.user_options + cmd_petsc_opts