[petsc-users] petsc configuer time

[Karl Rupp]

Hey,

 >     Configure would be *blazing* fast if compilers were shared libraries.
>     Then they could cache everything in a reliable way.  Otherwise, they
>     really have to go search the file system every time because it could
>     have changed.
>
>
> I knew Jed was a secret OpenCL fanatic!

Haha, nice try ;-) But then there are funny 'features' such as kernel 
caching in the home directories, where the filesystem may still be an 
issue...

Best regards,
Karli