Skip to content
  • Alexandre Duret-Lutz's avatar
    Use -fvisibility=hidden in src/ta/ and src/taalgos/. · cfbd3138
    Alexandre Duret-Lutz authored
    * src/ta/Makefile.am, src/taalgos/Makefile.am: Use
    $(VISIBILITY_CXXFLAGS).
    * src/ta/ta.hh, src/ta/taexplicit.hh, src/ta/taproduct.hh,
    src/ta/tgta.hh, src/ta/tgtaexplicit.hh, src/ta/tgtaproduct.hh,
    src/taalgos/dotty.hh, src/taalgos/emptinessta.hh,
    src/taalgos/minimize.hh, src/taalgos/reachiter.hh,
    src/taalgos/statessetbuilder.hh, src/taalgos/stats.hh,
    src/taalgos/tgba2ta.hh: Add SPOT_API in front
    of all public symbols.
    cfbd3138