1 lib_LTLIBRARIES = libbarvinok.la
2 noinst_PROGRAMS = test barvinok_count randomtest barvinok_enumerate \
3 verif_ehrhart barvinok_enumerate_e verif_ehrhart_e \
4 barvinok_series remove_redundant_equalities \
6 EXTRA_PROGRAMS = piptest
7 pkginclude_HEADERS = barvinok.h util.h ev_operations.h
10 libbarvinok_la_SOURCES = \
20 EXTRA_libbarvinok_la_SOURCES = \
22 libbarvinok_la_LIBADD = @LTLIBOBJS@
23 libbarvinok_la_LDFLAGS = -version-info @versioninfo@
24 LDADD = libbarvinok.la
27 barvinok_count_SOURCES = barvinok_count.c
28 barvinok_series_SOURCES = barvinok_series.cc
30 TESTFILES = $(shell find $(top_srcdir)/tests -type f ! -path '*CVS*')
32 EXTRA_DIST = ChangeLog $(TESTFILES) cdd2polylib.pl NTL_5_3_2.patch
35 @for i in $(top_srcdir)/tests/*; do \
36 if test -f $$i; then \
38 ./test < $$i || echo -n " NOT"; \
42 @for i in $(top_srcdir)/tests/ehrhart/*; do \
43 if test -f $$i; then \
45 ./verif_ehrhart < $$i; \