patches/cloog-ppl/0.15.9/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>
     1 diff -Naurd cloog-ppl-0.15.9-a/configure cloog-ppl-0.15.9-b/configure
     2 --- cloog-ppl-0.15.9-a/configure	2010-03-23 22:29:47.000000000 +0100
     3 +++ cloog-ppl-0.15.9-b/configure	2012-01-27 13:28:03.866987993 +0100
     4 @@ -12902,7 +12902,7 @@
     5  
     6  rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
     7  
     8 -	LIBS="$LIBS -lppl_c -lppl -lgmpxx"
     9 +	LIBS="-lppl_c -lppl -lgmpxx $LIBS"
    10  
    11  cat >>confdefs.h <<\_ACEOF
    12  #define CLOOG_PPL_BACKEND 1
    13 diff -Naurd cloog-ppl-0.15.9-a/configure.in cloog-ppl-0.15.9-b/configure.in
    14 --- cloog-ppl-0.15.9-a/configure.in	2010-03-23 22:29:47.000000000 +0100
    15 +++ cloog-ppl-0.15.9-b/configure.in	2012-01-27 13:28:03.866987993 +0100
    16 @@ -345,7 +345,7 @@
    17  	#endif
    18  	], [AC_MSG_RESULT([yes])], [AC_MSG_ERROR(Can't find correct version of PPL.) ])
    19  
    20 -	LIBS="$LIBS -lppl_c -lppl -lgmpxx"
    21 +	LIBS="-lppl_c -lppl -lgmpxx $LIBS"
    22  	AC_DEFINE([CLOOG_PPL_BACKEND], 1, [Use the PPL backend])
    23  
    24  else