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#8c8ccef5b7d76705921970c0c42bea5f35da182d_0_167
