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

[Barry Smith]

  Yes, that's what I meant to write, fixed now.

   Barry

On Jul 16, 2010, at 11:23 PM, Satish Balay wrote:

> --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
> <<<<<<<<<<