[petsc-dev] Truly minimal configure

[Jed Brown]

Satish Balay via petsc-dev <petsc-dev at mcs.anl.gov> 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