Skip to content
  • Alexandre Duret-Lutz's avatar
    Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. · 8ba3e64f
    Alexandre Duret-Lutz authored
    * src/ltlast/Makefile.am, src/ltlenv/Makefile.am,
    src/ltlvisit/Makefile.am: Use $(VISIBILITY_CXXFLAGS).
    * src/misc/common.hh (SPOT_DEPRECATED): New macro.
    * src/ltlast/atomic_prop.hh, src/ltlast/automatop.hh,
    src/ltlast/binop.hh, src/ltlast/bunop.hh, src/ltlast/constant.hh,
    src/ltlast/formula.hh, src/ltlast/formula_tree.hh,
    src/ltlast/multop.hh, src/ltlast/nfa.hh, src/ltlast/refformula.hh,
    src/ltlast/unop.hh, src/ltlast/visitor.hh, src/ltlenv/declenv.hh,
    src/ltlenv/defaultenv.hh, src/ltlvisit/apcollect.hh,
    src/ltlvisit/clone.hh, src/ltlvisit/contain.hh,
    src/ltlvisit/destroy.hh, src/ltlvisit/dotty.hh, src/ltlvisit/dump.hh,
    src/ltlvisit/lbt.hh, src/ltlvisit/length.hh,
    src/ltlvisit/lunabbrev.hh, src/ltlvisit/nenoform.hh,
    src/ltlvisit/postfix.hh, src/ltlvisit/randomltl.hh,
    src/ltlvisit/reduce.hh, src/ltlvisit/relabel.hh,
    src/ltlvisit/remove_x.hh, src/ltlvisit/simpfg.hh,
    src/ltlvisit/simplify.hh, src/ltlvisit/snf.hh,
    src/ltlvisit/tostring.hh, src/ltlvisit/tunabbrev.hh,
    src/ltlvisit/wmunabbrev.hh: Add SPOT_API in fron of
    exported symbols.
    * src/ltlvisit/nenoform.cc, src/ltlvisit/remove_x.cc: Add missing
    include of the corresponding header file.
    8ba3e64f