git.libre-soc.org Git - cvc5.git/commit

author	Mathias Preiner <mathias.preiner@gmail.com>
	Tue, 16 Mar 2021 17:56:01 +0000 (10:56 -0700)
committer	GitHub <noreply@github.com>
	Tue, 16 Mar 2021 17:56:01 +0000 (10:56 -0700)
commit	d6890791897ddebf1212d3e3147bf7aeb2415b27
tree	51c69ba48a7550b6a7660e2488b4b39cbedba539	tree
parent	0d3ea6f2dcaf80d386c7765ee8a708c18e3ed574	commit \| diff

cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)

The build system (cmake) will automatically generate an export header
cvc4_export.h, which makes sure that the correct export features are
defined depending on the compiler and target platform. The macro CVC4_EXPORT
replaces CVC4_PUBLIC and its usage is reduced by 2/3.

Co-authored-by: Gereon Kremer <nafur42@gmail.com>

81 files changed:

CMakeLists.txt		diff \| blob \| history
cmake/ConfigDebug.cmake		diff \| blob \| history
src/CMakeLists.txt		diff \| blob \| history
src/api/cvc4cpp.h		diff \| blob \| history
src/api/cvc4cppkind.h		diff \| blob \| history
src/api/python/CMakeLists.txt		diff \| blob \| history
src/api/python/genkinds.py		diff \| blob \| history
src/base/check.h		diff \| blob \| history
src/base/configuration.h		diff \| blob \| history
src/base/exception.h		diff \| blob \| history
src/base/listener.h		diff \| blob \| history
src/base/modal_exception.h		diff \| blob \| history
src/base/output.cpp		diff \| blob \| history
src/base/output.h		diff \| blob \| history
src/expr/array_store_all.h		diff \| blob \| history
src/expr/ascription_type.h		diff \| blob \| history
src/expr/datatype_index.h		diff \| blob \| history
src/expr/emptybag.h		diff \| blob \| history
src/expr/emptyset.h		diff \| blob \| history
src/expr/expr_iomanip.h		diff \| blob \| history
src/expr/kind_template.h		diff \| blob \| history
src/expr/record.h		diff \| blob \| history
src/expr/symbol_manager.h		diff \| blob \| history
src/expr/symbol_table.h		diff \| blob \| history
src/expr/uninterpreted_constant.h		diff \| blob \| history
src/include/cvc4_public.h		diff \| blob \| history
src/main/driver_unified.cpp		diff \| blob \| history
src/main/interactive_shell.h		diff \| blob \| history
src/options/language.h		diff \| blob \| history
src/options/mkoptions.py		diff \| blob \| history
src/options/option_exception.h		diff \| blob \| history
src/options/options.h		diff \| blob \| history
src/options/printer_modes.h		diff \| blob \| history
src/options/set_language.h		diff \| blob \| history
src/parser/input.h		diff \| blob \| history
src/parser/parse_op.h		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_builder.h		diff \| blob \| history
src/parser/parser_exception.h		diff \| blob \| history
src/prop/minisat/core/Solver.h		diff \| blob \| history
src/prop/minisat/simp/SimpSolver.h		diff \| blob \| history
src/prop/prop_engine.h		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
src/smt/dump.cpp		diff \| blob \| history
src/smt/dump.h		diff \| blob \| history
src/smt/logic_exception.h		diff \| blob \| history
src/smt/optimization_solver.h		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/theory/bags/make_bag_op.h		diff \| blob \| history
src/theory/datatypes/tuple_project_op.h		diff \| blob \| history
src/theory/logic_info.h		diff \| blob \| history
src/theory/sets/singleton_op.h		diff \| blob \| history
src/theory/theory_id.h		diff \| blob \| history
src/util/abstract_value.h		diff \| blob \| history
src/util/bitvector.h		diff \| blob \| history
src/util/cardinality.h		diff \| blob \| history
src/util/divisible.h		diff \| blob \| history
src/util/floatingpoint.h		diff \| blob \| history
src/util/floatingpoint_size.h		diff \| blob \| history
src/util/iand.h		diff \| blob \| history
src/util/indexed_root_predicate.h		diff \| blob \| history
src/util/integer_cln_imp.h		diff \| blob \| history
src/util/integer_gmp_imp.h		diff \| blob \| history
src/util/maybe.h		diff \| blob \| history
src/util/rational_cln_imp.h		diff \| blob \| history
src/util/rational_gmp_imp.h		diff \| blob \| history
src/util/real_algebraic_number_poly_imp.h		diff \| blob \| history
src/util/regexp.h		diff \| blob \| history
src/util/resource_manager.h		diff \| blob \| history
src/util/result.h		diff \| blob \| history
src/util/roundingmode.h		diff \| blob \| history
src/util/safe_print.h		diff \| blob \| history
src/util/sexpr.h		diff \| blob \| history
src/util/statistics.h		diff \| blob \| history
src/util/statistics_registry.h		diff \| blob \| history
src/util/stats_base.h		diff \| blob \| history
src/util/stats_timer.h		diff \| blob \| history
src/util/stats_utils.h		diff \| blob \| history
src/util/string.h		diff \| blob \| history
src/util/tuple.h		diff \| blob \| history
src/util/unsafe_interrupt_exception.h		diff \| blob \| history

RSS Atom