src/util/Makefile.am

   1 AM_CPPFLAGS = \
   2         -D__BUILDING_CVC4LIB \
   3         -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/..
   4 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
   5
   6 noinst_LTLIBRARIES = libutil.la libutilcudd.la
   7
   8 # libutilcudd.la is a separate library so that we can pass separate
   9 # compiler flags
  10 libutilcudd_la_CPPFLAGS = $(CPPFLAGS) $(AM_CPPFLAGS) @CUDD_CPPFLAGS@
  11 libutilcudd_la_LIBADD = @CUDD_LDFLAGS@
  12
  13 # Do not list built sources (like integer.h, rational.h, and tls.h) here!
  14 # Rather, list them under BUILT_SOURCES, and their .in versions under
  15 # EXTRA_DIST.  Otherwise, they're packaged up in the tarball, which is
  16 # no good---they belong in the configured builds/ directory.  If they
  17 # end up in the source directory, they build the cvc4 that was
  18 # configured at the time of the "make dist", which (1) may not be the
  19 # configuration that the user wants, and (2) might cause link errors.
  20 libutil_la_SOURCES = \
  21         Assert.h \
  22         Assert.cpp \
  23         backtrackable.h \
  24         Makefile.am \
  25         Makefile.in \
  26         congruence_closure.h \
  27         debug.h \
  28         exception.h \
  29         hash.h \
  30         bool.h \
  31         options.h \
  32         options.cpp \
  33         output.cpp \
  34         output.h \
  35         result.h \
  36         result.cpp \
  37         configuration.h \
  38         configuration_private.h \
  39         configuration.cpp \
  40         bitvector.h \
  41         ascription_type.h \
  42         datatype.h \
  43         datatype.cpp \
  44         matcher.h \
  45         gmp_util.h \
  46         sexpr.h \
  47         stats.h \
  48         stats.cpp \
  49         dynamic_array.h \
  50         language.h \
  51         language.cpp \
  52         ntuple.h \
  53         recursion_breaker.h \
  54         subrange_bound.h \
  55         cardinality.h \
  56         cardinality.cpp \
  57         cache.h \
  58         utility.h \
  59         trans_closure.h \
  60         trans_closure.cpp \
  61         boolean_simplification.h \
  62         boolean_simplification.cpp
  63
  64 libutil_la_LIBADD = \
  65         @builddir@/libutilcudd.la
  66 libutilcudd_la_SOURCES = \
  67         propositional_query.h \
  68         propositional_query.cpp
  69
  70 BUILT_SOURCES = \
  71         rational.h \
  72         integer.h \
  73         tls.h
  74
  75 if CVC4_CLN_IMP
  76 libutil_la_SOURCES += \
  77         rational_cln_imp.cpp
  78 endif
  79 if CVC4_GMP_IMP
  80 libutil_la_SOURCES += \
  81         rational_gmp_imp.cpp
  82 endif
  83
  84 EXTRA_DIST = \
  85         rational_cln_imp.h \
  86         integer_cln_imp.h \
  87         rational_cln_imp.cpp \
  88         rational_gmp_imp.h \
  89         integer_gmp_imp.h \
  90         rational_gmp_imp.cpp \
  91         rational.h.in \
  92         integer.h.in \
  93         tls.h.in