patches/ppl/0.11.2/100-fix-java-test-vs-enabled-shared.patch
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Sep 21 22:42:35 2011 +0200 (2011-09-21)
changeset 2677 7df89370f805
permissions -rw-r--r--
kernel/linux: add alternate download locations

Since kernel.org is dead, and there is no announced or known estimated
time or return to normality, it is impossible to download any kernel at
this time.

Add a known-working mirror.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.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