Makefile.am

   1 lib_LTLIBRARIES = libbarvinok.la
   2 noinst_PROGRAMS = test barvinok_count randomtest barvinok_enumerate \
   3                   verif_ehrhart barvinok_enumerate_e verif_ehrhart_e \
   4                   barvinok_series remove_redundant_equalities \
   5                   verify_ranking \
   6                   @bv_extra_programs@
   7 EXTRA_PROGRAMS = piptest
   8 pkginclude_HEADERS = \
   9     barvinok/barvinok.h \
  10     barvinok/util.h \
  11     barvinok/evalue.h \
  12     barvinok/genfun.h
  13 LINK = $(CXXLINK)
  14
  15 libbarvinok_la_SOURCES = \
  16     barvinok/evalue.h \
  17     barvinok/genfun.h \
  18     barvinok/util.h \
  19     barvinok/barvinok.h \
  20     evalue.c \
  21     genfun.cc \
  22     util.c \
  23     barvinok.cc
  24 EXTRA_libbarvinok_la_SOURCES = \
  25     piputil.h
  26 libbarvinok_la_LIBADD = @LTLIBOBJS@
  27 libbarvinok_la_LDFLAGS = @BV_LDFLAGS@ -version-info @versioninfo@
  28 LDADD = libbarvinok.la
  29
  30 test_SOURCES = test.c
  31 barvinok_count_SOURCES = barvinok_count.c
  32 barvinok_series_SOURCES = barvinok_series.cc
  33 verif_ehrhart_SOURCES = verif_ehrhart.c verify_main.cc verif_ehrhart.h
  34
  35 TESTFILES = $(shell find $(top_srcdir)/tests -type f ! -path '*CVS*')
  36
  37 EXTRA_DIST = \
  38     ChangeLog \
  39     $(TESTFILES) \
  40     cdd2polylib.pl \
  41     NTL_5_3_2.patch \
  42     polymake/Makefile.in \
  43     polymake/README \
  44     polymake/autogen.sh \
  45     polymake/configure.in \
  46     polymake/lattice_points.cc
  47
  48 ACLOCAL_AMFLAGS = -I m4
  49
  50 install-data-local:
  51         @test -z "$(pkgconfig_libdir)" || $(mkdir_p) "$(DESTDIR)$(pkgconfig_libdir)"
  52         $(INSTALL_DATA) $(pkgconfig_libfile) "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
  53
  54 uninstall-local:
  55         rm -f "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
  56
  57 dist-hook:
  58         (cd $(distdir)/polymake; \
  59             ./autogen.sh; rm -rf autogen.sh autom4te.cache)
  60         if test -f $(top_srcdir)/.git/HEAD; then \
  61             cp $(top_srcdir)/.git/HEAD $(distdir)/GIT_HEAD_ID; \
  62         else \
  63             echo $(GIT_HEAD_ID) > $(distdir)/GIT_HEAD_ID; \
  64         fi
  65
  66 check-series:
  67         @for i in $(top_srcdir)/tests/ehrhart/*; do \
  68             if test -f $$i; then \
  69                 echo $$i; \
  70                 ./verif_ehrhart --series < $$i; \
  71             fi \
  72         done
  73 check:
  74         @for i in $(top_srcdir)/tests/ehrhart/*; do \
  75             if test -f $$i; then \
  76                 echo $$i; \
  77                 ./verif_ehrhart < $$i; \
  78             fi \
  79         done
  80         @for i in $(top_srcdir)/tests/*; do \
  81             if test -f $$i; then \
  82                 echo -n $$i; \
  83                 ./test < $$i || echo -n " NOT"; \
  84                 echo " ok"; \
  85             fi \
  86         done
  87
  88 version.h: @GIT_HEAD@
  89         echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@