2 # $Id: Makefile.am,v 1.8 2005/10/20 11:35:25 verdoolaege Exp $
5 OBJ_DIR = $(top_builddir)
53 EHRHART_EXTRA=bart8.in isnm2.in e16.in esum.in t12.in
55 EHRHART=$(EHRHART_BASE) $(EHRHART_EXTRA)
57 EXTRA_DIST = $(EHRHART)
59 # not using %.in GNU extension
61 for pl_file in $(EHRHART) ; do test -f $(distdir)/`basename $$pl_file .in`.out || cp -p $(srcdir)/`basename $$pl_file .in`.out $(distdir) ; done
63 # not using filter-out gnu extension
64 EHRHART_TESTS = `if test $(TEST_BITS) = 32 ; then echo $(EHRHART_BASE) ; else echo $(EHRHART) ; fi `
68 for x in $(EHRHART_TESTS) ; do \
69 echo "Verify file $$x" ; \
70 $(OBJ_DIR)/testehrhart$(TEST_BITS) < $(srcdir)/$$x >xyz; \
71 diff -w xyz $(srcdir)/`basename $$x .in`.out ; \
73 if [ "$$result" -eq "1" ]; then \
74 echo "Error: $$x is not the same"; \
75 failedtest=`expr $$failedtest + 1`; \
80 if [ $$failedtest != 0 ]; then \
81 echo "$$failedtest tests failed"; \
83 echo "Test ehrhart works correctly"; \
87 @for x in $(EHRHART_TESTS) ; do \
88 echo "Verify Ehrhart for $$x"; \
89 $(OBJ_DIR)/verif_ehrhart$(TEST_BITS) < $(srcdir)/$$x ;\