Can you find any petsc library under /usr or /usr/local ? $ find /usr -iname "libpetsc*"
Similarly, would you mind checking how many petsc installation you have in your home directory? $ find $HOME -iname "libpetsc*" Best, Matthias -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/87bl063z49.fsf%4043-1.org.
