Makefile.am

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