diff options
Diffstat (limited to 'src/theory/quantifiers/Makefile.am')
-rw-r--r-- | src/theory/quantifiers/Makefile.am | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/src/theory/quantifiers/Makefile.am b/src/theory/quantifiers/Makefile.am deleted file mode 100644 index be24d6c67..000000000 --- a/src/theory/quantifiers/Makefile.am +++ /dev/null @@ -1,62 +0,0 @@ -AM_CPPFLAGS = \ - -D__BUILDING_CVC4LIB \ - -I@builddir@/../.. -I@srcdir@/../../include -I@srcdir@/../.. -AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) - -noinst_LTLIBRARIES = libquantifiers.la - -libquantifiers_la_SOURCES = \ - theory_quantifiers_type_rules.h \ - theory_quantifiers.h \ - quantifiers_rewriter.h \ - quantifiers_rewriter.cpp \ - theory_quantifiers.cpp \ - instantiation_engine.h \ - instantiation_engine.cpp \ - trigger.h \ - trigger.cpp \ - candidate_generator.h \ - candidate_generator.cpp \ - inst_match.h \ - inst_match.cpp \ - model_engine.h \ - model_engine.cpp \ - modes.cpp \ - modes.h \ - term_database.h \ - term_database.cpp \ - first_order_model.h \ - first_order_model.cpp \ - model_builder.h \ - model_builder.cpp \ - quantifiers_attributes.h \ - quantifiers_attributes.cpp \ - inst_gen.h \ - inst_gen.cpp \ - quant_util.h \ - quant_util.cpp \ - inst_match_generator.h \ - inst_match_generator.cpp \ - macros.h \ - macros.cpp \ - inst_strategy_e_matching.h \ - inst_strategy_e_matching.cpp \ - inst_strategy_cbqi.h \ - inst_strategy_cbqi.cpp \ - full_model_check.h \ - full_model_check.cpp \ - bounded_integers.h \ - bounded_integers.cpp \ - first_order_reasoning.h \ - first_order_reasoning.cpp \ - rewrite_engine.h \ - rewrite_engine.cpp \ - relevant_domain.h \ - relevant_domain.cpp \ - symmetry_breaking.h \ - symmetry_breaking.cpp - - -EXTRA_DIST = \ - kinds \ - options_handlers.h |