Re: [petsc-dev] alternatives to cygwin on Windows with PETSc

2019-07-02 Thread Ham, David A via petsc-dev
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,

Re: [petsc-dev] User(s) manual sections field in manual pages?

2019-06-12 Thread Ham, David A via petsc-dev
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

Re: [petsc-dev] Is bitbucket less responsive than it use to be?

2019-05-14 Thread Ham, David A via petsc-dev
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