patches/ppl/0.11.1/100-fix-java-test-vs-enabled-shared.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 commit 25bb77587944768581225d1c0048facab32cf019
     2 Author: Roberto Bagnara <bagnara@cs.unipr.it>
     3 Date:   Wed May 18 09:35:36 2011 +0200
     4 
     5     Moved misplaced conditional.
     6 
     7 diff --git a/interfaces/Java/tests/Makefile.am b/interfaces/Java/tests/Makefile.am
     8 index 64ba864..607bbc6 100644
     9 --- a/interfaces/Java/tests/Makefile.am
    10 +++ b/interfaces/Java/tests/Makefile.am
    11 @@ -51,6 +51,8 @@ Parma_Polyhedra_Library_test2.java \
    12  PPL_Test.java \
    13  ppl_java_tests_common
    14  
    15 +if ENABLE_SHARED
    16 +
    17  check_JAVA = \
    18  ppl_java_generated_tests.java \
    19  Test_Executor.java \
    20 @@ -62,8 +64,6 @@ Parma_Polyhedra_Library_test1.java \
    21  Parma_Polyhedra_Library_test2.java \
    22  PPL_Test.java
    23  
    24 -if ENABLE_SHARED
    25 -
    26  CLASSPATH = ../ppl_java.jar:.
    27  JAVACFLAGS = -classpath $(CLASSPATH)
    28