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, 7 insertions, 5 deletions

diff --git a/src/util/tuple.h b/src/util/tuple.h
index b3c50b358..d77d7bf97 100644
--- a/src/util/tuple.h
+++ b/src/util/tuple.h
@@ -25,7 +25,8 @@
 
 namespace CVC4 {
 
-class CVC4_PUBLIC TupleUpdate {
+class TupleUpdate
+{
   unsigned d_index;
 
  public:
@@ -33,15 +34,16 @@ class CVC4_PUBLIC TupleUpdate {
   unsigned getIndex() const { return d_index; }
   bool operator==(const TupleUpdate& t) const { return d_index == t.d_index; }
   bool operator!=(const TupleUpdate& t) const { return d_index != t.d_index; }
-};/* class TupleUpdate */
+}; /* class TupleUpdate */
 
-struct CVC4_PUBLIC TupleUpdateHashFunction {
+struct TupleUpdateHashFunction
+{
   inline size_t operator()(const TupleUpdate& t) const {
     return t.getIndex();
   }
-};/* struct TupleUpdateHashFunction */
+}; /* struct TupleUpdateHashFunction */
 
-std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) CVC4_PUBLIC;
+std::ostream& operator<<(std::ostream& out, const TupleUpdate& t);
 
 inline std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) {
   return out << "[" << t.getIndex() << "]";