Race condition in parallel make install?

[Roberto Bagnara]

Hi there.

I believe I discovered a race condition in the Makefiles.
This happened with a `make -j 4 ... install' of GMP 5.0.5
on Mac OS X (Darwin Kernel Version 11.4.2):

...
Making install in tune
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
Making install in doc
make[3]: Nothing to be done for `install-exec-am'.
test -z "/Users/roberto/ppl/debug/deps/share/info" || .././install-sh -c -d "/Users/roberto/ppl/debug/deps/share/info"
  /usr/bin/install -c -m 644 ./gmp.info ./gmp.info-1 ./gmp.info-2 '/Users/roberto/ppl/debug/deps/share/info'
  install-info --info-dir='/Users/roberto/ppl/debug/deps/share/info' '/Users/roberto/ppl/debug/deps/share/info/gmp.info'
test -z "/Users/roberto/ppl/debug/deps/lib" || ./install-sh -c -d "/Users/roberto/ppl/debug/deps/lib"
test -z "/Users/roberto/ppl/debug/deps/include" || ./install-sh -c -d "/Users/roberto/ppl/debug/deps/include"
test -z "/Users/roberto/ppl/debug/deps/include" || ./install-sh -c -d "/Users/roberto/ppl/debug/deps/include"
mkdir: /Users/roberto/ppl/debug/deps/include: File exists
make[3]: *** [install-nodist_includeexecHEADERS] Error 1
make[3]: *** Waiting for unfinished jobs....
  /bin/sh ./libtool   --mode=install /usr/bin/install -c   libgmp.la libgmpxx.la '/Users/roberto/ppl/debug/deps/lib'
  /usr/bin/install -c -m 644 gmpxx.h '/Users/roberto/ppl/debug/deps/include'
libtool: install: /usr/bin/install -c .libs/libgmp.10.dylib /Users/roberto/ppl/debug/deps/lib/libgmp.10.dylib
libtool: install: (cd /Users/roberto/ppl/debug/deps/lib && { ln -s -f libgmp.10.dylib libgmp.dylib || { rm -f libgmp.dylib && ln -s libgmp.10.dylib libgmp.dylib; }; })
libtool: install: /usr/bin/install -c .libs/libgmp.lai /Users/roberto/ppl/debug/deps/lib/libgmp.la
libtool: install: /usr/bin/install -c .libs/libgmpxx.4.dylib /Users/roberto/ppl/debug/deps/lib/libgmpxx.4.dylib
libtool: install: (cd /Users/roberto/ppl/debug/deps/lib && { ln -s -f libgmpxx.4.dylib libgmpxx.dylib || { rm -f libgmpxx.dylib && ln -s libgmpxx.4.dylib libgmpxx.dylib; }; })
libtool: install: /usr/bin/install -c .libs/libgmpxx.lai /Users/roberto/ppl/debug/deps/lib/libgmpxx.la
make[2]: *** [install-am] Error 2
make[1]: *** [install-recursive] Error 1
make: *** [install] Error 2

Kind regards,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics and Computer Science, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it