Rename petsc libs according to our usual naming scheme.

git-svn-id: https://svn.dealii.org/trunk@8846 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/lib/Makefile b/deal.II/lib/Makefile
index c0496adbf44e7b60554aed02d3b24c1c6c19c071..0e3155d8ce0b76b4deccc5021d0e3a16a08a00a3 100644 (file)
--- a/deal.II/lib/Makefile
+++ b/deal.II/lib/Makefile
@@ -57,9 +57,9 @@ endif
            $(lib-contrib-petsc-path.o)/libpetsc.so
   external-links-petsc:
        @echo Setting up libraries for PETSc
-       @$(CXX) -shared -o libpetsc_g.so \
+       @$(CXX) -shared -o libpetsc.g.so \
                -Wl,-rpath,$(lib-contrib-petsc-path.g) $(xlib.g)
-       @$(CXX) -shared -o libpetsc_o.so \
+       @$(CXX) -shared -o libpetsc.o.so \
                -Wl,-rpath,$(lib-contrib-petsc-path.o) $(xlib.o)
 
 else