Satish Balay via petsc-dev <[email protected]> writes:

On Sun, 15 Mar 2020, Patrick Sanan wrote:

...

I want to generate docs/manualpages/htmlmap as quickly as possible, from scratch (a clone on ReadTheDocs), so I want a fast configure which will let me run "make allcite".

The below will work, I think, but I'm curious whether there's an even faster known way.

Also note that I had to explicitly turn off some MKL stuff, because it's included by default and depends on blaslapack.

'./configure', '--with-mpi=0', '--with-blaslapack=0',

I'm surprised this works. I would just do --with-blaslapack-lib='-llapack -lblas' - assuming system blas/lapack are installed. [Similarly with other option that are known values --with-cc=gcc etc..]

Also you would need sowing,c2html for some of the docs [perhaps not allcite] - the fastest way likely is to have them in PATH

Patrick is using --download-sowing to build on readthedocs.org (see https://docs.petsc.org/en/psanan-docs-sphinx-dev-manual/). He has no intent to build PETSc, only to build the man page index. https://gitlab.com/petsc/petsc/-/merge_requests/2598/diffs#8c8ccef5b7d767059...