patches/cloog-ppl/0.15.9/100-add_on_libs_position.patch
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Tue May 08 18:31:10 2012 +0200 (2012-05-08)
changeset 2964 d48c03998dc1
permissions -rw-r--r--
scripts: fix catching failures

POSIX 1003.1-2008 does not say whether "set -e" should catch a sub-shell
that exits with !0 (it has a list of conditions to catch, but no list of
conditions not to catch, and this situation is not listed).

bash-3 does not catch such a failure, but bash-4 does. That why, on my
Squeeze system I did not see the issue, while Thomas did on is Lenny chroot.

Reported-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
benoit@2854
     1
diff -Naurd cloog-ppl-0.15.9-a/configure cloog-ppl-0.15.9-b/configure
benoit@2854
     2
--- cloog-ppl-0.15.9-a/configure	2010-03-23 22:29:47.000000000 +0100
benoit@2854
     3
+++ cloog-ppl-0.15.9-b/configure	2012-01-27 13:28:03.866987993 +0100
benoit@2854
     4
@@ -12902,7 +12902,7 @@
benoit@2854
     5
 
benoit@2854
     6
 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
benoit@2854
     7
 
benoit@2854
     8
-	LIBS="$LIBS -lppl_c -lppl -lgmpxx"
benoit@2854
     9
+	LIBS="-lppl_c -lppl -lgmpxx $LIBS"
benoit@2854
    10
 
benoit@2854
    11
 cat >>confdefs.h <<\_ACEOF
benoit@2854
    12
 #define CLOOG_PPL_BACKEND 1
benoit@2854
    13
diff -Naurd cloog-ppl-0.15.9-a/configure.in cloog-ppl-0.15.9-b/configure.in
benoit@2854
    14
--- cloog-ppl-0.15.9-a/configure.in	2010-03-23 22:29:47.000000000 +0100
benoit@2854
    15
+++ cloog-ppl-0.15.9-b/configure.in	2012-01-27 13:28:03.866987993 +0100
benoit@2854
    16
@@ -345,7 +345,7 @@
benoit@2854
    17
 	#endif
benoit@2854
    18
 	], [AC_MSG_RESULT([yes])], [AC_MSG_ERROR(Can't find correct version of PPL.) ])
benoit@2854
    19
 
benoit@2854
    20
-	LIBS="$LIBS -lppl_c -lppl -lgmpxx"
benoit@2854
    21
+	LIBS="-lppl_c -lppl -lgmpxx $LIBS"
benoit@2854
    22
 	AC_DEFINE([CLOOG_PPL_BACKEND], 1, [Use the PPL backend])
benoit@2854
    23
 
benoit@2854
    24
 else