barvinok/genfun.h: a bit more documentation.
[barvinok.git] / Makefile.am
blob00d249834ba67902c91fedf5cf71cd90567de11f
1 SUBDIRS = . omega
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 \
7                   @bv_extra_programs@
8 EXTRA_PROGRAMS = piptest verify_lexsmaller
9 pkginclude_HEADERS = \
10     barvinok/barvinok.h \
11     barvinok/util.h \
12     barvinok/evalue.h \
13     barvinok/genfun.h
14 LINK = $(CXXLINK)
16 libbarvinok_la_SOURCES = \
17     barvinok/evalue.h \
18     barvinok/genfun.h \
19     barvinok/util.h \
20     barvinok/barvinok.h \
21     evalue.c \
22     genfun.cc \
23     util.c \
24     barvinok.cc
25 EXTRA_libbarvinok_la_SOURCES = \
26     piputil.h
27 libbarvinok_la_LIBADD = @LTLIBOBJS@
28 libbarvinok_la_LDFLAGS = @BV_LDFLAGS@ -version-info @versioninfo@
29 LDADD = libbarvinok.la
31 test_SOURCES = test.c
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*')
38 EXTRA_DIST = \
39     README.Solaris \
40     ChangeLog \
41     $(TESTFILES) \
42     cdd2polylib.pl \
43     NTL_5_3_2.patch \
44     polymake/Makefile.in \
45     polymake/README \
46     polymake/autogen.sh \
47     polymake/configure.in \
48     polymake/lattice_points.cc
50 ACLOCAL_AMFLAGS = -I m4
52 install-data-local:
53         @test -z "$(pkgconfig_libdir)" || $(mkdir_p) "$(DESTDIR)$(pkgconfig_libdir)"
54         $(INSTALL_DATA) $(pkgconfig_libfile) "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
56 uninstall-local:
57         rm -f "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
59 dist-hook:
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; \
64         else \
65             echo $(GIT_HEAD_ID) > $(distdir)/GIT_HEAD_ID; \
66         fi
68 check-series:
69         @for i in $(top_srcdir)/tests/ehrhart/*; do \
70             if test -f $$i; then \
71                 echo $$i; \
72                 ./verif_ehrhart --series < $$i; \
73             fi \
74         done
75 check:
76         @for i in $(top_srcdir)/tests/ehrhart/*; do \
77             if test -f $$i; then \
78                 echo $$i; \
79                 ./verif_ehrhart < $$i; \
80             fi \
81         done
82         @for i in $(top_srcdir)/tests/ehrhart_e/*; do \
83             if test -f $$i; then \
84                 echo $$i; \
85                 ./verif_ehrhart_e < $$i; \
86             fi \
87         done
88         @for i in $(top_srcdir)/tests/ehrhart_e/*; do \
89             if test -f $$i; then \
90                 echo $$i; \
91                 ./verif_ehrhart_e --pip < $$i; \
92             fi \
93         done
94         @for i in $(top_srcdir)/tests/*; do \
95             if test -f $$i; then \
96                 echo -n $$i; \
97                 ./test < $$i || echo -n " NOT"; \
98                 echo " ok"; \
99             fi \
100         done
102 version.h: @GIT_HEAD@
103         echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@