Makefile.am

   1 SUBDIRS = . omega
   2
   3 lib_LTLIBRARIES = libbarvinok.la
   4 noinst_PROGRAMS = test barvinok_count randomtest barvinok_enumerate \
   5                   barvinok_ehrhart \
   6                   verif_ehrhart barvinok_enumerate_e \
   7                   barvinok_series remove_redundant_equalities \
   8                   barvinok_union \
   9                   @bv_extra_programs@
  10 EXTRA_PROGRAMS = piptest verify_lexsmaller
  11 pkginclude_HEADERS = \
  12     barvinok/barvinok.h \
  13     barvinok/util.h \
  14     barvinok/evalue.h \
  15     barvinok/genfun.h
  16 LINK = $(CXXLINK)
  17
  18 libbarvinok_la_SOURCES = \
  19     barvinok/evalue.h \
  20     barvinok/genfun.h \
  21     barvinok/util.h \
  22     barvinok/barvinok.h \
  23     evalue.c \
  24     genfun.cc \
  25     util.c \
  26     conversion.cc \
  27     conversion.h \
  28     decomposer.cc \
  29     decomposer.h \
  30     lattice_point.cc \
  31     lattice_point.h \
  32     reduce_domain.c \
  33     reduce_domain.h \
  34     mat_util.cc \
  35     mat_util.h \
  36     barvinok.cc
  37 EXTRA_libbarvinok_la_SOURCES = \
  38     piputil.h
  39 libbarvinok_la_LIBADD = @LTLIBOBJS@
  40 libbarvinok_la_LDFLAGS = @BV_LDFLAGS@ -version-info @versioninfo@
  41 LDADD = libbarvinok.la
  42
  43 test_SOURCES = test.c
  44 barvinok_count_SOURCES = barvinok_count.c
  45 barvinok_ehrhart_SOURCES = barvinok_ehrhart.cc
  46 barvinok_series_SOURCES = barvinok_series.cc
  47 barvinok_union_SOURCES = barvinok_union.cc
  48 if HAVE_OMEGA
  49 BEEO_SOURCES = omega/Exit.cc omega/convert.cc
  50 else
  51 BEEO_SOURCES =
  52 endif
  53 barvinok_enumerate_e_SOURCES = barvinok_enumerate_e.cc $(BEEO_SOURCES)
  54 barvinok_enumerate_e_CPPFLAGS = @OMEGA_CPPFLAGS@ @CPPFLAGS@
  55 barvinok_enumerate_e_LDFLAGS = @OMEGA_LDFLAGS@ @LDFLAGS@
  56 barvinok_enumerate_e_LDADD = @OMEGA_LIBS@ libbarvinok.la
  57 verif_ehrhart_SOURCES = verif_ehrhart.c verify_main.cc verif_ehrhart.h
  58
  59 TESTFILES = $(shell find $(top_srcdir)/tests -type f ! -path '*CVS*')
  60
  61 EXTRA_DIST = \
  62     README.Solaris \
  63     ChangeLog \
  64     $(TESTFILES) \
  65     cdd2polylib.pl \
  66     NTL_5_3_2.patch \
  67     polymake/Makefile.in \
  68     polymake/README \
  69     polymake/autogen.sh \
  70     polymake/configure.in \
  71     polymake/lattice_points.cc
  72
  73 ACLOCAL_AMFLAGS = -I m4
  74
  75 install-data-local:
  76         @test -z "$(pkgconfig_libdir)" || $(mkdir_p) "$(DESTDIR)$(pkgconfig_libdir)"
  77         $(INSTALL_DATA) $(pkgconfig_libfile) "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
  78
  79 uninstall-local:
  80         rm -f "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
  81
  82 dist-hook:
  83         (cd $(distdir)/polymake; \
  84             ./autogen.sh; rm -rf autogen.sh autom4te.cache)
  85         if test -f $(top_srcdir)/.git/HEAD; then \
  86             echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID; \
  87         else \
  88             echo $(GIT_HEAD_ID) > $(distdir)/GIT_HEAD_ID; \
  89         fi
  90
  91 if HAVE_PIPLIB
  92 BEE_TESTDIRS = ehrhart_e ehrhart_e/piplib
  93 else
  94 BEE_TESTDIRS = ehrhart_e
  95 endif
  96
  97 check-series:
  98         @for i in $(top_srcdir)/tests/ehrhart/*; do \
  99             if test -f $$i; then \
 100                 echo $$i; \
 101                 ./verif_ehrhart --series < $$i; \
 102             fi \
 103         done
 104 check:
 105         @for i in $(top_srcdir)/tests/ehrhart/*; do \
 106             if test -f $$i; then \
 107                 echo $$i; \
 108                 ./verif_ehrhart < $$i; \
 109             fi \
 110         done
 111         @for dir in $(BEE_TESTDIRS); do \
 112             for options in '' '--pip' '--pip --omega'; do \
 113                 for i in $(top_srcdir)/tests/$$dir/*; do \
 114                     if test -f $$i; then \
 115                         echo $$i $$options; \
 116                         ./barvinok_enumerate_e --verify $$options < $$i; \
 117                     fi \
 118                 done \
 119             done \
 120         done
 121         @for i in $(top_srcdir)/tests/*; do \
 122             if test -f $$i; then \
 123                 echo -n $$i; \
 124                 ./test < $$i || echo -n " NOT"; \
 125                 echo " ok"; \
 126             fi \
 127         done
 128
 129 version.h: @GIT_HEAD@
 130         echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@