diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index a80d1fee9..7007ba47f 100644 --- a/configure.ac +++ b/configure.ac @@ -480,6 +480,9 @@ CXXFLAGS="${CXXFLAGS:+$CXXFLAGS }$CVC4CXXFLAGS -Wno-deprecated" CFLAGS="${CFLAGS:+$CFLAGS }$CVC4CFLAGS -Wno-deprecated" LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS" +FLAG_VISIBILITY_HIDDEN='-fvisibility=hidden' +AC_SUBST(FLAG_VISIBILITY_HIDDEN) + # mk_include # # When automake scans Makefiles, it complains about non-standard make |