For the record, `pip install petsc` is known to cleanly install PETSc on WSL.
This is basically what happens in the firedrake installer, which works on WSL.
Instructions are here:
https://github.com/firedrakeproject/firedrake/wiki/Installing-on-Windows-Subsystem-for-Linux
On 01/07/2019, 23:26,
Firedrake is a very happy Sphinx user. Of course our primary language is
Python. I’m not sure how wonderful sphinx is if your primary language is C
(though support is, I believe, claimed).
From: petsc-dev on behalf of Patrick Sanan via
petsc-dev
Reply-To: Patrick Sanan
Date: Wednesday, 12 Ju
In my experience BitBucket appears to be run on a single Mac Mini with a
dial-up connection. GitHub has won this one...
On 14/05/2019, 16:34, "petsc-dev on behalf of Smith, Barry F. via petsc-dev"
wrote:
Could be they're digging their own grave.
I seem to be spending mor