From a25a8f4243a0f1695df6f781daa130ed8c2385aa Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 7 Nov 2010 19:48:30 +0000 Subject: [PATCH] from Keri Harris: Keri Harris to yap-users show details Oct 24 When running 'make install' packages/jpl suffers from a race condition: * install_unix rule calls: - cd packages/jpl ; make - cd packages/jpl ; make install <-- race * install_data rule calls: - cd packages/jpl ; make install <-- race --- Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index aab4c3998..bcd22fdec 100755 --- a/Makefile.in +++ b/Makefile.in @@ -517,6 +517,7 @@ all: startup.yss @ENABLE_CPLINT@ (cd packages/cplint/approx/simplecuddLPADs; $(MAKE)) @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE)) @USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE)) + @ENABLE_JPL@ @INSTALL_DLLS@ (cd packages/jpl; $(MAKE)) startup.yss: yap@EXEC_SUFFIX@ $(PL_SOURCES) -rm -f startup.yss @@ -568,7 +569,6 @@ install_unix: startup.yss libYap.a @INSTALL_DLLS@ (cd packages/zlib; $(MAKE) @ZLIB_INSTALL@) @USE_MINISAT@ (cd packages/swi-minisat2/C; $(MAKE) install) @INSTALL_MATLAB@ (cd library/matlab; $(MAKE) install) - @ENABLE_JPL@ @INSTALL_DLLS@ (cd packages/jpl; $(MAKE)) @ENABLE_JPL@ @INSTALL_DLLS@ (cd packages/jpl; $(MAKE) install) #@ENABLE_JPL@ @INSTALL_DLLS@ (cd packages/pyswip; $(MAKE) install) mkdir -p $(DESTDIR)$(INCLUDEDIR) @@ -619,6 +619,7 @@ install_win32: startup.yss (cd packages/sgml; $(MAKE) install) (cd packages/semweb; $(MAKE) install) (cd packages/zlib; $(MAKE) @ZLIB_INSTALL@) + @ENABLE_JPL@ (cd packages/jpl ; $(MAKE) install) @USE_MINISAT@ (cd packages/swi-minisat2/C; $(MAKE) install) @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) install) @USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE) install) @@ -632,7 +633,6 @@ install_data: (cd packages/swi-minisat2; $(MAKE) install) (cd LGPL ; $(MAKE) install) (cd GPL ; $(MAKE) install) - @ENABLE_JPL@ (cd packages/jpl ; $(MAKE) install) $(INSTALL_DATA) $(srcdir)/LGPL/pillow/icon_address.pl $(DESTDIR)$(SHAREDIR)/Yap/ $(INSTALL_DATA) $(srcdir)/LGPL/pillow/pillow.pl $(DESTDIR)$(SHAREDIR)/Yap/ @INSTALLCLP@(cd LGPL/clp ; $(MAKE) install)