• Alexandre Duret-Lutz's avatar
    Use -fvisibility=hidden in src/kripke/, src/saba/, and src/sabaalgos/ · dab51a9d
    Alexandre Duret-Lutz authored
    * src/kripke/Makefile.am, src/saba/Makefile.am,
    src/sabaalgos/Makefile.am: Use $(VISIBILITY_CXXFLAGS).
    * src/kripke/fairkripke.hh, src/kripke/kripke.hh,
    src/kripke/kripkeexplicit.hh, src/kripke/kripkeprint.hh,
    src/saba/explicitstateconjunction.hh, src/saba/saba.hh,
    src/saba/sabacomplementtgba.hh, src/saba/sabastate.hh,
    src/saba/sabasucciter.hh, src/sabaalgos/sabadotty.hh,
    src/sabaalgos/sabareachiter.hh: Mark exported symbols
    with SPOT_API.
    dab51a9d