May 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): AC_CHECK_GMP fixed.
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: master Commit: c95ec7331cb7a9026ba8618fe0a875bf2944ed0b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c95ec7331cb7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 07:02:44 2009 +0200 AC_CHECK_GMP fixed. --- m4/ac_check_gmp.m4 | 19 +++++++++---------- 1 files changed, 9 insertions(+), 10 deletions(-) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 62bb1a9..c57c448 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -35,16 +35,15 @@ fi AC_ARG_WITH(gmp-build, AS_HELP_STRING([--with-gmp-build=DIR], [use a non-installed build of GMP in DIR]), - gmp_build_dir=$with_gmp_build) - -if test -z "$with_libgmp_prefix" -then - CPPFLAGS="$CPPFLAGS -I$gmp_build_dir -I$gmp_build_dir/tune" - LDFLAGS="$LDFLAGS -L$gmp_build_dir -L$gmp_build_dir/.libs" - LDFLAGS="$LDFLAGS -L$gmp_build_dir/tune" -else - AC_MSG_ERROR([cannot use --with-gmp-build and --with-libgmp* together]) -fi + gmp_build_dir=$with_gmp_build + if test -z "$with_libgmp_prefix" + then + CPPFLAGS="$CPPFLAGS -I$gmp_build_dir -I$gmp_build_dir/tune" + LDFLAGS="$LDFLAGS -L$gmp_build_dir -L$gmp_build_dir/.libs" + LDFLAGS="$LDFLAGS -L$gmp_build_dir/tune" + else + AC_MSG_ERROR([cannot use --with-gmp-build and --with-libgmp* together]) + fi) dnl Check how to link with libgmp. AC_LIB_LINKFLAGS([gmp])

1 0

[GIT] ppl/ppl(master): Added a commit to consider should we release PPL 0. 10.3.
by Roberto Bagnara 12 May '09

12 May '09

Module: ppl/ppl Branch: master Commit: 29859522caa565993a049f24f01c9a2640a4cd78 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29859522caa5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 21:55:22 2009 +0200 Added a commit to consider should we release PPL 0.10.3. --- TODO | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/TODO b/TODO index c8bfd82..f63140e 100644 --- a/TODO +++ b/TODO @@ -36,6 +36,10 @@ e3460918400e04cf24fda33ff0cf9d18a95840b8 b94dc7951129d065d858b6dbd932eac59a643f96 (We cannot test the Java interface unless ENABLE_SHARED.) +1c8a74aea14bce95dc1916df66995dd5a163eb2b +(New configuration option `--with-gmp-build=DIR'. +This allows to use a non-installed build of GMP in DIR.) + Enhancements for PPL 0.11 or later versions ===========================================

1 0

[GIT] ppl/ppl(master): New configuration option `--with-gmp-build=DIR'.
by Roberto Bagnara 12 May '09

12 May '09

Module: ppl/ppl Branch: master Commit: 1c8a74aea14bce95dc1916df66995dd5a163eb2b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c8a74aea14b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 21:50:25 2009 +0200 New configuration option `--with-gmp-build=DIR'. This allows to use a non-installed build of GMP in DIR. --- NEWS | 3 +++ README.configure | 5 +++++ m4/ac_check_gmp.m4 | 14 ++++++++++++++ 3 files changed, 22 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 94c8f0e..15fd2ae 100644 --- a/NEWS +++ b/NEWS @@ -26,6 +26,9 @@ o The Java interface has to be explicitly initialized before use by o The C and Java interfaces now support timeout computation facilities. +o New configuration option `--with-gmp-build=DIR' allows to use a + non-installed build of GMP in DIR. + Deprecated and removed methods ------------------------------ diff --git a/README.configure b/README.configure index 9b97730..0db173a 100644 --- a/README.configure +++ b/README.configure @@ -109,6 +109,11 @@ how to make sure that GMP's shared library will be found at run-time "<GMP prefix>/lib64:$LD_LIBRARY_PATH" is the most commonly used solution). +It is also possible to use a non-installed build of GMP. In order to +do that you should configure the PPL with, among others, the option + + --with-gmp-build=<GMP build directory> + 3. Using the Right C and C++ Compilers -------------------------------------- diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 4dc3bc8..62bb1a9 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -32,6 +32,20 @@ else fi fi +AC_ARG_WITH(gmp-build, + AS_HELP_STRING([--with-gmp-build=DIR], + [use a non-installed build of GMP in DIR]), + gmp_build_dir=$with_gmp_build) + +if test -z "$with_libgmp_prefix" +then + CPPFLAGS="$CPPFLAGS -I$gmp_build_dir -I$gmp_build_dir/tune" + LDFLAGS="$LDFLAGS -L$gmp_build_dir -L$gmp_build_dir/.libs" + LDFLAGS="$LDFLAGS -L$gmp_build_dir/tune" +else + AC_MSG_ERROR([cannot use --with-gmp-build and --with-libgmp* together]) +fi + dnl Check how to link with libgmp. AC_LIB_LINKFLAGS([gmp])

1 0

[GIT] ppl/ppl(master): Known result adapted to increased Box constructor precision.
by Enea Zaffanella 12 May '09

12 May '09

Module: ppl/ppl Branch: master Commit: 2b365a8a6b1dbb0b69a6997f0ca4bc14921c35ef URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b365a8a6b1d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 12 20:42:40 2009 +0200 Known result adapted to increased Box constructor precision. --- tests/Partially_Reduced_Product/directproduct6.cc | 16 ++++++---------- 1 files changed, 6 insertions(+), 10 deletions(-) diff --git a/tests/Partially_Reduced_Product/directproduct6.cc b/tests/Partially_Reduced_Product/directproduct6.cc index bb6d5f6..769fe6e 100644 --- a/tests/Partially_Reduced_Product/directproduct6.cc +++ b/tests/Partially_Reduced_Product/directproduct6.cc @@ -541,17 +541,13 @@ test18() { TBox_Grid ndp(ph); - TBox_Grid known_ndp(2); - known_ndp.refine_with_constraint(3*x >= -2); - known_ndp.refine_with_constraint(x <= 4); - known_ndp.refine_with_constraint(y >= -10); - known_ndp.refine_with_constraint(y <= 4); + TBox_Grid known_dp(2); + known_dp.refine_with_constraint(3*x >= -2); + known_dp.refine_with_constraint(x <= 4); + known_dp.refine_with_constraint(y >= -10); + known_dp.refine_with_constraint(y <= 4); - TBox_Grid known_pdp(2); - known_pdp.refine_with_constraint(x <= 4); - known_pdp.refine_with_constraint(y <= 4); - - bool ok = (ndp == known_ndp && pdp == known_pdp && pdp.contains(ndp)); + bool ok = (ndp == known_dp && pdp == known_dp); print_constraints(ph, "*** ph ***"); print_constraints(ndp, "*** ndp ***");

1 0

Re: [PPL-devel] Trouble building Graphite
by Roberto Bagnara 12 May '09

12 May '09

Ian Lance Taylor wrote: > I'm having some trouble building the Graphite support. > > Using ftp://gcc.gnu.org/pub/gcc/infrastructure/ppl-0.10.2.tar.gz : > > * Unlike gcc, does not support a --with-gmp option. > + Does support a --with-libgmpxx-prefix option. What is the trouble with this? I mean, is it a matter of syntax (you prefer the option to be called --with-gmp) or semantics (the --with-libgmpxx-prefix does not do the right thing)? > * If GMP was not built with C++ support, fails at build time. Yes, the C++ interface of GMP is required. On the other hand, also the core of PPL is written in C++. In whhich sense requiring the C++ interface of GMP is a trouble? > * If GMP was not built with exception support, complains at configure > time, and recommends using CPPFLAGS=-fexceptions when building GMP. Well, "complain" is not the right word. The PPL configuration script simply warns about the fact that the bounded memory capabilities of the PPL are not available. Which is not a problem for GCC, since these capabilities are not used by CLooG. The message was designed not to alarm people unnecessarily. It says: "This is OK, if you do not plan to use the bounded memory capabilities offered by the PPL." Do you think a different wording could help? > + CPPFLAGS is for preprocessor flags, and -fexceptions is not a > preprocessor flag. However, I admit that setting CFLAGS does not > work correctly, as GMP seems to have special requirements for it. In facto, our use of CPPFLAGS is motivated by the fact that using CFLAGS for that purpose was not working, once upon a time. See: http://www.cs.unipr.it/pipermail/ppl-devel/2001-October/000639.html http://www.cs.unipr.it/pipermail/ppl-devel/2001-October/000663.html Perhaps it works now: we will check again and, in case it works, we will amend the configuration script, documentation and web site. > + I think they mean -funwind-tables anyhow. We do that because: -funwind-tables Similar to -fexceptions, except that it will just generate any needed static data, but will not affect the generated code in any other way. You will normally not enable this option; instead, a language processor that needs this handling would enable it on your behalf. Please let us know if we are mistaken on this point. Generally speaking, we are 100% willing to improve the PPL as much as possible: any suggestion is welcome in this respect. Please mail to ppl-devel(a)cs.unipr.it All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

[GIT] ppl/ppl(master): Another TODO item dealt with.
by Enea Zaffanella 12 May '09

12 May '09

Module: ppl/ppl Branch: master Commit: b6d0f50e9c8141479cbca37057ed48a4cbc2eb84 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6d0f50e9c81… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 12 20:10:29 2009 +0200 Another TODO item dealt with. Adapted another few known results according to increased precision. --- TODO | 3 -- tests/Box/frompolyhedron1.cc | 58 +++++++++++++++-------------------------- 2 files changed, 21 insertions(+), 40 deletions(-) diff --git a/TODO b/TODO index b348a22..c8bfd82 100644 --- a/TODO +++ b/TODO @@ -20,9 +20,6 @@ Enhancements for PPL 0.11 - Switch to the latest versions of Autoconf and Automake (in beta test at the time of writing): they provide features we have been looking for for years. -- Fix the methods Box<ITV>::refine_with_constraint/s so that they perform - a safe (i.e., always terminating) propagation instead of ignoring the - non-interval constraints. Commits to consider should we release PPL 0.10.3 ================================================ diff --git a/tests/Box/frompolyhedron1.cc b/tests/Box/frompolyhedron1.cc index 72134be..a248f21 100644 --- a/tests/Box/frompolyhedron1.cc +++ b/tests/Box/frompolyhedron1.cc @@ -49,9 +49,8 @@ test01() { return ok; } -// A non-bounded closed polyhedron in 2D consisting of a wedge bounded +// A non-bounded closed polyhedron in 2D consisting of a wedge bounded // by y >= 0 and x >= y. -// The resulting bounding box depends on the complexity class. bool test02() { Variable x(0); @@ -65,20 +64,16 @@ test02() { TBox nbox(ph); - TBox known_nbox(2); - known_nbox.add_constraint(x >= 0); - known_nbox.add_constraint(y >= 0); - - TBox known_pbox(2); - known_pbox.add_constraint(y >= 0); + TBox known_box(2); + known_box.add_constraint(x >= 0); + known_box.add_constraint(y >= 0); - bool ok = (nbox == known_nbox && pbox == known_pbox && pbox.contains(nbox)); + bool ok = (nbox == known_box && pbox == known_box); print_constraints(ph, "*** ph ***"); print_constraints(nbox, "*** nbox ***"); print_constraints(pbox, "*** pbox ***"); - print_constraints(known_nbox, "*** known_nbox ***"); - print_constraints(known_pbox, "*** known_pbox ***"); + print_constraints(known_box, "*** known_box ***"); return ok; } @@ -98,23 +93,18 @@ test03() { TBox nbox(ph); - TBox known_nbox(2); - known_nbox.add_constraint(3*x >= -2); - known_nbox.add_constraint(x <= 4); - known_nbox.add_constraint(y >= -10); - known_nbox.add_constraint(y <= 4); - - TBox known_pbox(2); - known_pbox.add_constraint(x <= 4); - known_pbox.add_constraint(y <= 4); + TBox known_box(2); + known_box.add_constraint(3*x >= -2); + known_box.add_constraint(x <= 4); + known_box.add_constraint(y >= -10); + known_box.add_constraint(y <= 4); - bool ok = (nbox == known_nbox && pbox == known_pbox && pbox.contains(nbox)); + bool ok = (nbox == known_box && pbox == known_box); print_constraints(ph, "*** ph ***"); print_constraints(nbox, "*** nbox ***"); print_constraints(pbox, "*** pbox ***"); - print_constraints(known_nbox, "*** known_nbox ***"); - print_constraints(known_pbox, "*** known_pbox ***"); + print_constraints(known_box, "*** known_box ***"); return ok; } @@ -136,25 +126,19 @@ test04() { TBox nbox(ph); - TBox known_nbox(4); - known_nbox.add_constraint(3*x >= -2); - known_nbox.add_constraint(x <= 4); - known_nbox.add_constraint(y >= -10); - known_nbox.add_constraint(3*y <= 12); - known_nbox.add_constraint(3*z >= 15); + TBox known_box(4); + known_box.add_constraint(3*x >= -2); + known_box.add_constraint(x <= 4); + known_box.add_constraint(y >= -10); + known_box.add_constraint(3*y <= 12); + known_box.add_constraint(3*z >= 15); - TBox known_pbox(4); - known_pbox.add_constraint(x <= 4); - known_pbox.add_constraint(y <= 4); - known_pbox.add_constraint(z >= 5); - - bool ok = (nbox == known_nbox && pbox == known_pbox && pbox.contains(nbox)); + bool ok = (nbox == known_box && pbox == known_box); print_constraints(ph, "*** ph ***"); print_constraints(nbox, "*** nbox ***"); print_constraints(pbox, "*** pbox ***"); - print_constraints(known_nbox, "*** known_nbox ***"); - print_constraints(known_pbox, "*** known_pbox ***"); + print_constraints(known_box, "*** known_box ***"); return ok; }

1 0

[GIT] ppl/ppl(master): Added a section on commits to consider should we release PPL 0.10.3.
by Roberto Bagnara 12 May '09

12 May '09

Module: ppl/ppl Branch: master Commit: 093849653148ff077f79585e68cd36e055d51163 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=093849653148… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 19:09:00 2009 +0200 Added a section on commits to consider should we release PPL 0.10.3. --- TODO | 15 +++++++++++++++ 1 files changed, 15 insertions(+), 0 deletions(-) diff --git a/TODO b/TODO index 1b617f5..b348a22 100644 --- a/TODO +++ b/TODO @@ -24,6 +24,21 @@ Enhancements for PPL 0.11 a safe (i.e., always terminating) propagation instead of ignoring the non-interval constraints. +Commits to consider should we release PPL 0.10.3 +================================================ + +b4dcb2959e3cc7b74aaa9f20c865b848e206818b +(Fixed PPL_SPECIALIZE_LIMITS_INT.) + +9a08d1d3a98ca1af8ff0cb94017888528c6875a7 +(No longer use CS and PS as template parameter names.) + +e3460918400e04cf24fda33ff0cf9d18a95840b8 +(Updated from Gnulib.) + +b94dc7951129d065d858b6dbd932eac59a643f96 +(We cannot test the Java interface unless ENABLE_SHARED.) + Enhancements for PPL 0.11 or later versions ===========================================

1 0

[GIT] ppl/ppl(master): Method Box::refine_with is now based on (single step ) constraint propagation.
by Enea Zaffanella 12 May '09

12 May '09

Module: ppl/ppl Branch: master Commit: 57b7091bc8502392be5fc524fd96c97dc8134e30 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57b7091bc850… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 12 18:58:02 2009 +0200 Method Box::refine_with is now based on (single step) constraint propagation. Method Box::propagate_constraints now also take as input a parameter for specifying the maximum number of iterations (default value 0). The constructor of a Box from a Polyhedron in polynomial time sets this parameter to a constant. The known result of several tests adapted to match the increased precision. --- src/Box.defs.hh | 53 +++++++++++++++++------ src/Box.inlines.hh | 5 +- src/Box.templates.hh | 33 ++++++++++---- tests/Box/frompolyhedron2.cc | 45 +++++++------------ tests/Box/refinewithconstraint1.cc | 12 +---- tests/Powerset/frompolyhedron1.cc | 84 ++++++++++++++---------------------- 6 files changed, 118 insertions(+), 114 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=57b7091b…

1 0

[GIT] ppl/ppl(master): Improved documentation and small efficiency improvement to the code.
by Patricia Hill 12 May '09

12 May '09

Module: ppl/ppl Branch: master Commit: bf625371f4d8b97edfa295b447c9245788c24585 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf625371f4d8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 12 17:19:02 2009 +0100 Improved documentation and small efficiency improvement to the code. --- doc/definitions.dox | 14 ++++++++------ src/Grid_public.cc | 3 +-- 2 files changed, 9 insertions(+), 8 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index e3148c0..aa3839e 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2322,9 +2322,9 @@ the given bounded integer type and have the specified overflow behavior. Suppose \f$\cL \in \Gset_n\f$ is a grid and \f$J\f$ a subset of the set of space dimensions \f$\{0, \ldots, n-1\}\f$. Suppose also that the width of the bounded integer type is \f$w\f$ so that -the range of values \f$R = \{0, \ldots, 2^w-1\}\f$ +the range of values \f$R = \{r \in \Rset \mid 0 \leq r < 2^w\}\f$ if the type is unsigned -and \f$R = \{-2^{w-1},\ldots, 0, \ldots, 2^{w-1} - 1\}\f$ otherwise. +and \f$R = \{r \in \Rset \mid -2^{w-1} \leq r < 2^{w-1}\}\f$ otherwise. Consider a space dimension \f$j \in J\f$ and a variable \f$v_j\f$ for dimension \f$j\f$. @@ -2345,11 +2345,13 @@ specified overflow behavior. Therefore the parameter \f$(0, \ldots, 0, v_j, 0, \dots, 0)\f$, where \f$v_j = 1\f$ is added to the generator system for \f$\cL\f$. -- Overflow wraps. In this case, for each value \f$a\f$ for - \f$v_j\f$ in the grid \f$\cL\f$, the wrapped value can be any value - \f$a + z 2^{w-1} \in R\f$ where \f$z \in \Zset\f$. +- Overflow wraps. In this case, if \f$v_j\f$ has exactly + one value \f$a \in R\f$ in \f$\cL\f$, then \f$v_j\f$ is set + equal to \f$a\f$. Otherwise, for each value \f$a\f$ for + \f$v_j\f$ in the grid \f$\cL\f$, there must be more than one value + of the form \f$a + z 2^w \in R\f$ where \f$z \in \Zset\f$. Therefore the parameter \f$(0, \ldots, 0, v_j, 0, \dots, 0)\f$, - where \f$v_j = 2^{w-1}\f$ is added to the generator system for \f$\cL\f$. + where \f$v_j = 2^w\f$ is added to the generator system for \f$\cL\f$. \subsection Grid_Widening Widening Operators diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 677859d..844c7ec 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -2759,7 +2759,6 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, assert(o == OVERFLOW_UNDEFINED); // If overflow is undefined, then all we know is that the variable // may take any integer within the range of the bounded integer type. - PPL_DIRTY_TEMP_COEFFICIENT(coeff_x); const Grid_Generator& point = gen_sys[0]; const Coefficient& div = point.divisor(); max_value *= div; @@ -2775,7 +2774,7 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, } else { // `x' is a constant `v' in `gr'. - coeff_x = point.coefficient(x); + const Coefficient& coeff_x = point.coefficient(x); // If the value `v' for `x' is not within the range for the // bounded integer type, then `x' may wrap to any value `v + z' // where `z' is an integer; otherwise `x' is unchanged.

1 0

[GIT] ppl/ppl(master): We cannot test the Java interface unless ENABLE_SHARED.
by Roberto Bagnara 12 May '09

12 May '09

Module: ppl/ppl Branch: master Commit: b94dc7951129d065d858b6dbd932eac59a643f96 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b94dc7951129… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 18:04:44 2009 +0200 We cannot test the Java interface unless ENABLE_SHARED. --- interfaces/Java/tests/Makefile.am | 18 ++++++++++++------ 1 files changed, 12 insertions(+), 6 deletions(-) diff --git a/interfaces/Java/tests/Makefile.am b/interfaces/Java/tests/Makefile.am index d616fec..9c700d4 100644 --- a/interfaces/Java/tests/Makefile.am +++ b/interfaces/Java/tests/Makefile.am @@ -63,13 +63,17 @@ Parma_Polyhedra_Library_test1.java \ Parma_Polyhedra_Library_test2.java \ PPL_Test.java +if ENABLE_SHARED + CLASSPATH = ../ppl_java.jar:. JAVACFLAGS = -classpath $(CLASSPATH) PPL_DLOPEN = -dlopen ../../../src/libppl.la if BUILD_WATCHDOG_LIBRARY + PWL_DLOPEN = -dlopen ../../../Watchdog/src/libpwl.la + endif BUILD_WATCHDOG_LIBRARY java_test_environment = \ @@ -77,6 +81,12 @@ $(LIBTOOL) --mode=execute $(PPL_DLOPEN) $(PWL_DLOPEN) \ $(JAVA) -classpath .:../ppl_java.jar \ -Djava.library.path=../jni/.libs +ppl_java_generated_tests.java: $(interface_generator_dependencies) + $(M4) --prefix-builtin -I../.. \ + -I$(srcdir) -I$(srcdir)/.. -I$(srcdir)/../.. \ + $(srcdir)/ppl_interface_generator_java_test_java.m4 \ + > $@ + check-local: ppl_java_generated_tests.java $(java_test_environment) ppl_java_generated_tests $(java_test_environment) C_Polyhedron_test1 @@ -85,14 +95,10 @@ check-local: ppl_java_generated_tests.java $(java_test_environment) Parma_Polyhedra_Library_test1 $(java_test_environment) Parma_Polyhedra_Library_test2 -ppl_java_generated_tests.java: $(interface_generator_dependencies) - $(M4) --prefix-builtin -I../.. \ - -I$(srcdir) -I$(srcdir)/.. -I$(srcdir)/../.. \ - $(srcdir)/ppl_interface_generator_java_test_java.m4 \ - > $@ - CLEANFILES = \ ppl_java_generated_tests.java +endif ENABLE_SHARED + $(top_builddir)/interfaces/ppl_interface_instantiations.m4: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/interfaces ppl_interface_instantiations.m4

1 0