be carefull about rounding and modulo
[barvinok.git] / Makefile.am
blobbfe3fd408fad4bea23f1ee95b68eda47b36ef2fe
1 lib_LTLIBRARIES = libbarvinok.la
2 noinst_PROGRAMS = test barvinok_count randomtest barvinok_enumerate \
3                   verif_ehrhart
5 libbarvinok_la_SOURCES = \
6     debug.cpp \
7     debug.h \
8     ev_operations.c \
9     ev_operations.h \
10     util.c \
11     util.h \
12     barvinok.cc \
13     barvinok.h
14 libbarvinok_la_LIBADD = @LTLIBOBJS@ -lstdc++
15 libbarvinok_la_LDFLAGS = -version-info @versioninfo@
16 LDADD = libbarvinok.la
18 test_SOURCES = test.c
19 barvinok_count_SOURCES = barvinok_count.c
21 TESTFILES = $(shell find $(top_srcdir)/tests -type f ! -path '*CVS*')
23 EXTRA_DIST = ChangeLog $(TESTFILES)
25 check:
26         @for i in $(top_srcdir)/tests/*; do \
27             if test -f $$i; then \
28                 echo -n $$i; \
29                 ./test < $$i || echo -n " NOT"; \
30                 echo " ok"; \
31             fi \
32         done
33         @for i in $(top_srcdir)/tests/ehrhart/*; do \
34             if test -f $$i; then \
35                 echo $$i; \
36                 ./verif_ehrhart < $$i; \
37             fi \
38         done