Module: ppl/ppl Branch: master Commit: 30b4d085cb4446918f5984216d4c74ad59d55b33 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30b4d085cb444...
Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Mar 26 12:37:31 2009 +0100
Tests have to be done unconditionally.
---
tests/BD_Shape/.gitignore | 1 - tests/BD_Shape/Makefile.am | 11 ++++------- tests/Box/.gitignore | 1 - tests/Box/Makefile.am | 11 ++++------- tests/Octagonal_Shape/.gitignore | 1 - tests/Octagonal_Shape/Makefile.am | 11 ++++------- 6 files changed, 12 insertions(+), 24 deletions(-)
diff --git a/tests/BD_Shape/.gitignore b/tests/BD_Shape/.gitignore index c43beea..b750b4e 100644 --- a/tests/BD_Shape/.gitignore +++ b/tests/BD_Shape/.gitignore @@ -62,7 +62,6 @@ relations2 relations3 relations4 removespacedims1 -run_tests.stamp timeelapse1 unconstrain1 universe1 diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index bfd6f77..b8a8764 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -116,12 +116,12 @@ TEST_CPPFLAGS=-DBD_SHAPE_INSTANCE=mpq_class
dist_check_SCRIPTS = run_tests
-TESTS = run_tests.stamp +TESTS = tests
-run_tests.stamp: run_tests +.PHONY: tests + +tests: run_tests +$(srcdir)/run_tests - echo "true" >run_tests.stamp - chmod +x run_tests.stamp
XFAIL_TESTS =
@@ -285,8 +285,5 @@ writebdshape1_SOURCES = writebdshape1.cc MOSTLYCLEANFILES = \ ascii_dump_load1.dat
-CLEANFILES = \ -run_tests.stamp - DISTCLEANFILES = \ dirty_marker diff --git a/tests/Box/.gitignore b/tests/Box/.gitignore index 7b03b66..b16b31f 100644 --- a/tests/Box/.gitignore +++ b/tests/Box/.gitignore @@ -57,7 +57,6 @@ relations2 relations3 relations4 removespacedims1 -run_tests.stamp timeelapse1 topclosed1 unconstrain1 diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index d3e2e34..e3b032f 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -120,12 +120,12 @@ TEST_CPPFLAGS=-DBOX_INSTANCE=rt_r_oc
dist_check_SCRIPTS = run_tests
-TESTS = run_tests.stamp +TESTS = tests
-run_tests.stamp: run_tests +.PHONY: tests + +tests: run_tests +$(srcdir)/run_tests - echo "true" >run_tests.stamp - chmod +x run_tests.stamp
XFAIL_TESTS =
@@ -308,8 +308,5 @@ EXTRA_DIST = $(refinewithconstraints2_SRCS) MOSTLYCLEANFILES = \ ascii_dump_load1.dat
-CLEANFILES = \ -run_tests.stamp - DISTCLEANFILES = \ dirty_marker diff --git a/tests/Octagonal_Shape/.gitignore b/tests/Octagonal_Shape/.gitignore index 4091625..bd12d6f 100644 --- a/tests/Octagonal_Shape/.gitignore +++ b/tests/Octagonal_Shape/.gitignore @@ -60,7 +60,6 @@ relatwithcons2 relatwithcons3 relatwithgen1 removespacedims1 -run_tests.stamp timeelapse1 unconstrain1 universe1 diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index 906f43e..1e0017e 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -123,12 +123,12 @@ TEST_CPPFLAGS=-DOCTAGONAL_SHAPE_INSTANCE=mpq_class
dist_check_SCRIPTS = run_tests
-TESTS = run_tests.stamp +TESTS = tests
-run_tests.stamp: run_tests +.PHONY: tests + +tests: run_tests +$(srcdir)/run_tests - echo "true" >run_tests.stamp - chmod +x run_tests.stamp
XFAIL_TESTS =
@@ -286,8 +286,5 @@ writeoctagon1_SOURCES = writeoctagon1.cc MOSTLYCLEANFILES = \ ascii_dump_load1.dat
-CLEANFILES = \ -run_tests.stamp - DISTCLEANFILES = \ dirty_marker