patches/cloog-ppl/0.15.7/100-add_on_libs_position.patch
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Wed Dec 05 20:31:43 2012 +0100 (2012-12-05)
changeset 3134 863723936e24
permissions -rw-r--r--
scripts/xldd: use user's sed and grep

xldd uses sed and grep as detected by ./configure. This works well if is
used on the machine that build the toolchain.

But if the user moves the toolchain to another machine where sed and grep
are not in the same directory (eg. /bin/sed vs. /usr/bin/sed), then xldd
will stop functionning.

Fix that by using ${SED} and ${GREP} if they are set in the environment.

Reported-by: Samuel Martin <s.martin49@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
benoit@2854
     1
diff -Naurd cloog-ppl-0.15.7-a/configure cloog-ppl-0.15.7-b/configure
benoit@2854
     2
--- cloog-ppl-0.15.7-a/configure	2009-08-12 03:33:31.000000000 +0200
benoit@2854
     3
+++ cloog-ppl-0.15.7-b/configure	2012-01-27 13:26:13.970988501 +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.7-a/configure.in cloog-ppl-0.15.7-b/configure.in
benoit@2854
    14
--- cloog-ppl-0.15.7-a/configure.in	2009-08-12 03:33:31.000000000 +0200
benoit@2854
    15
+++ cloog-ppl-0.15.7-b/configure.in	2012-01-27 13:26:13.970988501 +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