Makefile.am

   1 if HAVE_GINAC
   2     MAYBE_BERNSTEIN = bernstein
   3 endif
   4 SUBDIRS = $(MAYBE_BERNSTEIN) . omega doc
   5
   6 AM_CPPFLAGS = -I$(srcdir)/bernstein/include
   7
   8 lib_LTLIBRARIES = libbarvinok.la
   9 noinst_PROGRAMS = test barvinok_count randomtest barvinok_enumerate \
  10                   barvinok_ehrhart \
  11                   verif_ehrhart barvinok_enumerate_e \
  12                   barvinok_series remove_redundant_equalities \
  13                   barvinok_union \
  14                   @bv_extra_programs@
  15 EXTRA_PROGRAMS = piptest verify_lexsmaller polyhedron_sample 4coins lexmin \
  16                  polytope_scan
  17 pkginclude_HEADERS = \
  18     barvinok/NTL_QQ.h \
  19     barvinok/barvinok.h \
  20     barvinok/util.h \
  21     barvinok/evalue.h \
  22     barvinok/genfun.h \
  23     barvinok/options.h \
  24     barvinok/sample.h \
  25     barvinok/basis_reduction.h \
  26     barvinok/bernstein.h
  27 LINK = $(CXXLINK)
  28
  29 if HAVE_GINAC
  30     BERNSTEIN_CC = bernstein.cc
  31 endif
  32 libbarvinok_la_SOURCES = \
  33     barvinok/evalue.h \
  34     barvinok/genfun.h \
  35     barvinok/util.h \
  36     barvinok/barvinok.h \
  37     NTL_QQ.cc \
  38     evalue.c \
  39     genfun.cc \
  40     util.c \
  41     version.c \
  42     bfcounter.cc \
  43     bfcounter.h \
  44     conversion.cc \
  45     conversion.h \
  46     decomposer.cc \
  47     decomposer.h \
  48     dpoly.cc \
  49     dpoly.h \
  50     genfun_constructor.cc \
  51     genfun_constructor.h \
  52     lattice_point.cc \
  53     lattice_point.h \
  54     options.c \
  55     reduce_domain.c \
  56     reduce_domain.h \
  57     reducer.cc \
  58     reducer.h \
  59     scarf.cc \
  60     mat_util.cc \
  61     mat_util.h \
  62     barvinok.cc \
  63     $(BERNSTEIN_CC)
  64 EXTRA_libbarvinok_la_SOURCES = \
  65     bernstein.cc \
  66     piputil.h
  67 if HAVE_GINAC
  68     BERNSTEIN_LA = $(top_builddir)/bernstein/libbernstein.la
  69 endif
  70 libbarvinok_la_LIBADD = @LTLIBOBJS@ $(BERNSTEIN_LA)
  71 libbarvinok_la_LDFLAGS = @BV_LDFLAGS@ -version-info @versioninfo@
  72 LDADD = libbarvinok.la
  73
  74 test_SOURCES = test.c
  75 barvinok_count_SOURCES = barvinok_count.c
  76 barvinok_ehrhart_SOURCES = barvinok_ehrhart.cc
  77 barvinok_series_SOURCES = barvinok_series.cc
  78 barvinok_union_SOURCES = barvinok_union.cc
  79 if HAVE_OMEGA
  80 BEEO_SOURCES = omega/Exit.cc omega/convert.cc
  81 else
  82 BEEO_SOURCES =
  83 endif
  84 barvinok_enumerate_e_SOURCES = \
  85         barvinok_enumerate_e.cc \
  86         $(BEEO_SOURCES)
  87 barvinok_enumerate_e_CPPFLAGS = @OMEGA_CPPFLAGS@ @CPPFLAGS@
  88 barvinok_enumerate_e_LDFLAGS = @OMEGA_LDFLAGS@ @LDFLAGS@
  89 barvinok_enumerate_e_LDADD = @OMEGA_LIBS@ libbarvinok.la
  90 verif_ehrhart_SOURCES = verif_ehrhart.c verify_main.cc verif_ehrhart.h
  91 4coins_SOURCES = 4coins.cc
  92 lexmin_SOURCES = \
  93         lexmin.cc \
  94         combine.c \
  95         combine.h \
  96         edomain.cc \
  97         edomain.h \
  98         evalue_util.cc \
  99         evalue_util.h \
 100         fdstream.cc \
 101         fdstream.h
 102
 103 TESTFILES = $(shell find $(top_srcdir)/tests -type f ! -path '*CVS*')
 104
 105 EXTRA_DIST = \
 106     README.Solaris \
 107     ChangeLog \
 108     $(TESTFILES) \
 109     latte2polylib.pl \
 110     NTL_5_3_2.patch \
 111     doc/Internal.tex \
 112     doc/Usage.tex \
 113     doc/barvinok.bib \
 114     doc/barvinok.gdf \
 115     doc/barvinok.tex \
 116     doc/chicago.bst \
 117     doc/chicago.sty \
 118     doc/mydefs.sty \
 119     polymake/Makefile.in \
 120     polymake/README \
 121     polymake/autogen.sh \
 122     polymake/configure.in \
 123     polymake/lattice_points.cc
 124
 125 ACLOCAL_AMFLAGS = -I m4
 126
 127 install-data-local:
 128         @test -z "$(pkgconfig_libdir)" || $(mkdir_p) "$(DESTDIR)$(pkgconfig_libdir)"
 129         $(INSTALL_DATA) $(pkgconfig_libfile) "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
 130
 131 uninstall-local:
 132         rm -f "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
 133
 134 dist-hook:
 135         (cd $(distdir)/polymake; \
 136             ./autogen.sh; rm -rf autogen.sh autom4te.cache)
 137         (cd doc; make barvinok.pdf)
 138         cp doc/barvinok.pdf $(distdir)/doc/
 139         if test -f $(top_srcdir)/.git/HEAD; then \
 140             echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID; \
 141         else \
 142             echo $(GIT_HEAD_ID) > $(distdir)/GIT_HEAD_ID; \
 143         fi
 144
 145 if HAVE_PIPLIB
 146 BEE_TESTDIRS = ehrhart_e ehrhart_e/scarf ehrhart_e/piplib
 147 else
 148 BEE_TESTDIRS = ehrhart_e ehrhart_e/scarf
 149 endif
 150
 151 check-series:
 152         @for i in $(top_srcdir)/tests/ehrhart/*; do \
 153             if test -f $$i; then \
 154                 echo $$i; \
 155                 ./verif_ehrhart --series < $$i; \
 156             fi \
 157         done
 158 check:
 159         @for i in $(top_srcdir)/tests/ehrhart/*; do \
 160             if test -f $$i; then \
 161                 echo $$i; \
 162                 ./verif_ehrhart < $$i; \
 163             fi \
 164         done
 165         @for dir in $(BEE_TESTDIRS); do \
 166             for options in '' '--pip' '--pip --omega'; do \
 167                 for i in $(top_srcdir)/tests/$$dir/*; do \
 168                     if test -f $$i; then \
 169                         echo $$i $$options; \
 170                         ./barvinok_enumerate_e --verify $$options < $$i; \
 171                     fi \
 172                 done \
 173             done \
 174         done
 175         @for i in $(top_srcdir)/tests/ehrhart_e/scarf/*; do \
 176             if test -f $$i; then \
 177                 echo $$i --scarf; \
 178                 ./barvinok_enumerate_e --verify --scarf < $$i; \
 179             fi \
 180         done
 181         @for i in $(top_srcdir)/tests/*; do \
 182             if test -f $$i; then \
 183                 echo -n $$i; \
 184                 ./test < $$i || echo -n " NOT"; \
 185                 echo " ok"; \
 186             fi \
 187         done
 188 if HAVE_GLPK
 189         @for i in $(top_srcdir)/tests/lexmin/*; do \
 190             if test -f $$i; then \
 191                 echo $$i; \
 192                 ./lexmin --verify < $$i; \
 193             fi \
 194         done
 195 endif
 196
 197 version.h: @GIT_HEAD@
 198         echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@