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