Home
last modified time | relevance | path

Searched hist:e8e972b2f5f4df93bc5a7ea2b06f05fc95ef3d46 (Results 1 – 2 of 2) sorted by relevance

/petsc/config/PETSc/options/
H A DsharedLibraries.pye8e972b2f5f4df93bc5a7ea2b06f05fc95ef3d46 Wed Aug 12 12:06:47 UTC 2020 Vaclav Hapla <vaclav.hapla@erdw.ethz.ch> configure: Print --with-single-library setting.

* print capital S in "Shared libraries:"
* simplify handling of --with-shared-libraries
* remove redundant semicolons in Configure.py

Fix #688
/petsc/config/PETSc/
H A DConfigure.pye8e972b2f5f4df93bc5a7ea2b06f05fc95ef3d46 Wed Aug 12 12:06:47 UTC 2020 Vaclav Hapla <vaclav.hapla@erdw.ethz.ch> configure: Print --with-single-library setting.

* print capital S in "Shared libraries:"
* simplify handling of --with-shared-libraries
* remove redundant semicolons in Configure.py

Fix #688