src/util/Makefile.am

   1 AM_CPPFLAGS = \
   2         -D__BUILDING_CVC4LIB \
   3         -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/..
   4 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
   5
   6 noinst_LTLIBRARIES = libutil.la libstatistics.la
   7
   8 libstatistics_la_CPPFLAGS = $(CPPFLAGS) $(AM_CPPFLAGS) -D__BUILDING_STATISTICS_FOR_EXPORT
   9
  10 # Do not list built sources (like integer.h, rational.h, and tls.h) here!
  11 # Rather, list them under BUILT_SOURCES, and their .in versions under
  12 # EXTRA_DIST.  Otherwise, they're packaged up in the tarball, which is
  13 # no good---they belong in the configured builds/ directory.  If they
  14 # end up in the source directory, they build the cvc4 that was
  15 # configured at the time of the "make dist", which (1) may not be the
  16 # configuration that the user wants, and (2) might cause link errors.
  17 libutil_la_SOURCES = \
  18         cvc4_assert.h \
  19         cvc4_assert.cpp \
  20         backtrackable.h \
  21         Makefile.am \
  22         Makefile.in \
  23         debug.h \
  24         exception.h \
  25         exception.cpp \
  26         hash.h \
  27         bool.h \
  28         proof.h \
  29         output.cpp \
  30         output.h \
  31         result.h \
  32         result.cpp \
  33         configuration.h \
  34         configuration_private.h \
  35         configuration.cpp \
  36         bitvector.h \
  37         ascription_type.h \
  38         array.h \
  39         datatype.h \
  40         datatype.cpp \
  41         tuple.h \
  42         record.h \
  43         record.cpp \
  44         divisible.h \
  45         divisible.cpp \
  46         maybe.h \
  47         matcher.h \
  48         gmp_util.h \
  49         sexpr.h \
  50         sexpr.cpp \
  51         statistics.h \
  52         statistics.cpp \
  53         statistics_registry.h \
  54         statistics_registry.cpp \
  55         dynamic_array.h \
  56         language.h \
  57         lemma_input_channel.h \
  58         lemma_output_channel.h \
  59         dense_map.h \
  60         channel.h \
  61         language.cpp \
  62         ntuple.h \
  63         recursion_breaker.h \
  64         subrange_bound.h \
  65         dump.h \
  66         dump.cpp \
  67         predicate.h \
  68         predicate.cpp \
  69         cardinality.h \
  70         cardinality.cpp \
  71         cache.h \
  72         utility.h \
  73         trans_closure.h \
  74         trans_closure.cpp \
  75         boolean_simplification.h \
  76         boolean_simplification.cpp \
  77         ite_removal.h \
  78         ite_removal.cpp \
  79         nary_builder.h \
  80         nary_builder.cpp \
  81         node_visitor.h \
  82         chain.h \
  83         index.h \
  84         uninterpreted_constant.h \
  85         uninterpreted_constant.cpp \
  86         abstract_value.h \
  87         abstract_value.cpp \
  88         array_store_all.h \
  89         array_store_all.cpp \
  90         emptyset.h \
  91         emptyset.cpp \
  92         model.h \
  93         model.cpp \
  94         sort_inference.h \
  95         sort_inference.cpp \
  96         regexp.h \
  97         regexp.cpp \
  98         bin_heap.h \
  99         didyoumean.h \
 100         didyoumean.cpp \
 101         unsat_core.h \
 102         unsat_core.cpp
 103
 104 libstatistics_la_SOURCES = \
 105         statistics_registry.h \
 106         statistics_registry.cpp
 107
 108 BUILT_SOURCES = \
 109         rational.h \
 110         integer.h \
 111         tls.h
 112
 113 if CVC4_CLN_IMP
 114 libutil_la_SOURCES += \
 115         rational_cln_imp.cpp \
 116         integer_cln_imp.cpp
 117 endif
 118 if CVC4_GMP_IMP
 119 libutil_la_SOURCES += \
 120         rational_gmp_imp.cpp \
 121         integer_gmp_imp.cpp
 122 endif
 123
 124 EXTRA_DIST = \
 125         rational_cln_imp.h \
 126         integer_cln_imp.h \
 127         integer_cln_imp.cpp \
 128         rational_cln_imp.cpp \
 129         rational_gmp_imp.h \
 130         integer_gmp_imp.h \
 131         integer_gmp_imp.cpp \
 132         rational_gmp_imp.cpp \
 133         rational.h.in \
 134         integer.h.in \
 135         tls.h.in \
 136         integer.i \
 137         statistics.i \
 138         bool.i \
 139         sexpr.i \
 140         datatype.i \
 141         tuple.i \
 142         record.i \
 143         divisible.i \
 144         cardinality.i \
 145         result.i \
 146         configuration.i \
 147         bitvector.i \
 148         subrange_bound.i \
 149         exception.i \
 150         language.i \
 151         array.i \
 152         array_store_all.i \
 153         emptyset.i \
 154         ascription_type.i \
 155         rational.i \
 156         hash.i \
 157         predicate.i \
 158         uninterpreted_constant.i \
 159         chain.i \
 160         regexp.i \
 161         proof.i \
 162         unsat_core.i
 163
 164 DISTCLEANFILES = \
 165         integer.h.tmp \
 166         rational.h.tmp \
 167         tls.h.tmp \
 168         integer.h \
 169         rational.h \
 170         tls.h