patches/ppl/0.11/100-fix-java-test-vs-enabled-shared.patch
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Aug 02 18:26:53 2011 +0200 (2011-08-02)
changeset 2592 4908eb2b6f17
permissions -rw-r--r--
scripts/functions: cvs retrieval first tries the mirror for tarballs

The cvs download helper looks for the local tarballs dir to see if it
can find a pre-downloaded tarball, and if it does not find it, does
the actual fetch to upstream via cvs.

In the process, it does not even try to get a tarball from the local
mirror, which can be useful if the mirror has been pre-populated
manually (or with a previously downloaded tree).

Fake a tarball get with the standard tarball-download helper, but
without specifying any upstream URL, which makes the helper directly
try the LAN mirror.

Of course, if no mirror is specified, no URL wil be available, and
the standard cvs retrieval will kick in.

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