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>

1 files changed, 6 insertions, 2 deletions

diff --git a/src/expr/symbol_table.h b/src/expr/symbol_table.h
index cdfe3a6a3..297917120 100644
--- a/src/expr/symbol_table.h
+++ b/src/expr/symbol_table.h
@@ -24,6 +24,7 @@
 #include <vector>
 
 #include "base/exception.h"
+#include "cvc4_export.h"
 
 namespace CVC4 {
 
@@ -33,14 +34,17 @@ class Sort;
 class Term;
 }  // namespace api
 
-class CVC4_PUBLIC ScopeException : public Exception {};
+class CVC4_EXPORT ScopeException : public Exception
+{
+};
 
 /**
  * A convenience class for handling scoped declarations. Implements the usual
  * nested scoping rules for declarations, with separate bindings for expressions
  * and types.
  */
-class CVC4_PUBLIC SymbolTable {
+class CVC4_EXPORT SymbolTable
+{
  public:
   /** Create a symbol table. */
   SymbolTable();