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