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 = ChangeLog $(TESTFILES) cdd2polylib.pl NTL_5_3_2.patch
  34
  35 check-series:
  36         @for i in $(top_srcdir)/tests/ehrhart/*; do \
  37             if test -f $$i; then \
  38                 echo $$i; \
  39                 ./verif_ehrhart --series < $$i; \
  40             fi \
  41         done
  42 check:
  43         @for i in $(top_srcdir)/tests/ehrhart/*; do \
  44             if test -f $$i; then \
  45                 echo $$i; \
  46                 ./verif_ehrhart < $$i; \
  47             fi \
  48         done
  49         @for i in $(top_srcdir)/tests/*; do \
  50             if test -f $$i; then \
  51                 echo -n $$i; \
  52                 ./test < $$i || echo -n " NOT"; \
  53                 echo " ok"; \
  54             fi \
  55         done