[petsc-dev] changed --with-shared to --with-shared-libraries --known-mpi-shared to --know-mpi-shared-libraries --with-dynamic to --with-dynamic-loader

[Satish Balay]

--with-dynamic-loader is not appropriate. It usually refers to the
binary ld.so. [aka compiler/linker ] --with-dynamic-loading might be
more appropriate.

Satish

>>>>>>>>
<man ld.so>
LD.SO(8)                   Linux Programmer?s Manual                  LD.SO(8)

NAME
       ld.so, ld-linux.so* - dynamic linker/loader
<<<<<<<<<<