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