On Wed, 2017-11-08 at 15:36 +0100, Matteo Semplice wrote:
-------------------------------------------------------------------
------------
Your petsc source tree is broken. Use "git status" to check, or
remove
the entire directory and start all over again
The error isn't reported the way I sometimes see petsc build errors but
the complaint about source tree gives me an idea. petsc checks its own
git if it sees it's in one, and it might be complaing about the applied
debian patches.
Trying removing .git or moving it out of the way, say to _git.
Then try
dpkg-buildpackage -i_git
(or try the manual build steps again).