Serialize creation of static PETSc libs.

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

diff --git a/deal.II/lib/Makefile b/deal.II/lib/Makefile
index 46986b96a84fa3a76e367fefa31949ee693f78a5..31b758e25102afd21a726a85c4be9555092d9b17 100644 (file)
--- a/deal.II/lib/Makefile
+++ b/deal.II/lib/Makefile
@@ -71,7 +71,11 @@ ifeq ($(enable-shared),yes)
 
 else
 
-  external-links-petsc: libpetscall.g$(static-lib-suffix) libpetscall$(static-lib-suffix)
+  # make static libraries. ensure that they are built one after the other because
+  # both create temporary files with the same name
+  external-links-petsc: 
+       @$(MAKE) libpetscall.g$(static-lib-suffix)
+       @$(MAKE) libpetscall$(static-lib-suffix)
 
   # As I don't know how to merge archives, here's a workaround: Extract each of
   # the archives and append the object files to the libpetsc archive. Do the