3 lib_LTLIBRARIES = libbarvinok.la
4 noinst_PROGRAMS = test barvinok_count randomtest barvinok_enumerate \
5 verif_ehrhart barvinok_enumerate_e verif_ehrhart_e \
6 barvinok_series remove_redundant_equalities \
8 EXTRA_PROGRAMS = piptest verify_lexsmaller
16 libbarvinok_la_SOURCES = \
25 EXTRA_libbarvinok_la_SOURCES = \
27 libbarvinok_la_LIBADD = @LTLIBOBJS@
28 libbarvinok_la_LDFLAGS = @BV_LDFLAGS@ -version-info @versioninfo@
29 LDADD = libbarvinok.la
32 barvinok_count_SOURCES = barvinok_count.c
33 barvinok_series_SOURCES = barvinok_series.cc
34 verif_ehrhart_SOURCES = verif_ehrhart.c verify_main.cc verif_ehrhart.h
36 TESTFILES = $(shell find $(top_srcdir)/tests -type f ! -path '*CVS*')
44 polymake/Makefile.in \
47 polymake/configure.in \
48 polymake/lattice_points.cc
50 ACLOCAL_AMFLAGS = -I m4
53 @test -z "$(pkgconfig_libdir)" || $(mkdir_p) "$(DESTDIR)$(pkgconfig_libdir)"
54 $(INSTALL_DATA) $(pkgconfig_libfile) "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
57 rm -f "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
60 (cd $(distdir)/polymake; \
61 ./autogen.sh; rm -rf autogen.sh autom4te.cache)
62 if test -f $(top_srcdir)/.git/HEAD; then \
63 cp $(top_srcdir)/.git/HEAD $(distdir)/GIT_HEAD_ID; \
65 echo $(GIT_HEAD_ID) > $(distdir)/GIT_HEAD_ID; \
69 @for i in $(top_srcdir)/tests/ehrhart/*; do \
70 if test -f $$i; then \
72 ./verif_ehrhart --series < $$i; \
76 @for i in $(top_srcdir)/tests/ehrhart/*; do \
77 if test -f $$i; then \
79 ./verif_ehrhart < $$i; \
82 @for i in $(top_srcdir)/tests/ehrhart_e/*; do \
83 if test -f $$i; then \
85 ./verif_ehrhart_e < $$i; \
88 @for i in $(top_srcdir)/tests/ehrhart_e/*; do \
89 if test -f $$i; then \
91 ./verif_ehrhart_e --pip < $$i; \
94 @for i in $(top_srcdir)/tests/*; do \
95 if test -f $$i; then \
97 ./test < $$i || echo -n " NOT"; \
102 version.h: @GIT_HEAD@
103 echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@