Searched defs:user_options (Results 1 – 1 of 1) sorted by relevance
443 user_options = _config.user_options + cmd_petsc_opts variable in config544 user_options = _build.user_options variable in build580 user_options = [ variable in build_src602 user_options = _build_ext.user_options + cmd_petsc_opts variable in build_ext