Module: ppl/ppl Branch: pip Commit: 8ca4f6890910a146f573d7a45d135aa6a07b6ece URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca4f6890910a...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 24 20:48:16 2009 +0200
Correctly deal with pipproblem1.
---
tests/PIP_Problem/.gitignore | 1 + tests/PIP_Problem/Makefile.am | 8 ++++---- 2 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/tests/PIP_Problem/.gitignore b/tests/PIP_Problem/.gitignore new file mode 100644 index 0000000..b331d16 --- /dev/null +++ b/tests/PIP_Problem/.gitignore @@ -0,0 +1 @@ +pipproblem1 diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am index 3ebe480..da24a57 100644 --- a/tests/PIP_Problem/Makefile.am +++ b/tests/PIP_Problem/Makefile.am @@ -50,7 +50,7 @@ $(top_builddir)/src/libppl.la \ @extra_libraries@
TESTS = \ -pipproblem +pipproblem1
XFAIL_TESTS =
@@ -60,16 +60,16 @@ BUGS = # Sources for the tests #
-pipproblem_SOURCES = pipproblem.cc +pipproblem1_SOURCES = pipproblem1.cc
check_PROGRAMS = \ $(TESTS) \ $(WATCHDOG_TESTS) \ $(BUGS)
-#EXTRA_DIST = +#EXTRA_DIST =
-#MOSTLYCLEANFILES = +#MOSTLYCLEANFILES =
$(top_builddir)/utils/libppl_utils.a: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils libppl_utils.a