• Alexandre Duret-Lutz's avatar
    fix failing tests on Debian unstable · b1007a3d
    Alexandre Duret-Lutz authored
    * tests/Makefile.am (ltsmin_modelcheck_LDADD): Add -lpthread as it
    seems Debian's libtool does not carries this dependency over from
    libspotltsmin.la.  Also using $(LTLIBMULTITHREAD) does not work,
    because that would add -pthread which is currently ignored when
    linking shared libraries (because libtool adds -nostdlib for some
    reason).
    b1007a3d
Makefile.am 12.4 KB