3 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	97e903b13d	libtool: surrender to Debian's castrated libtool ... The libtool version distributed by Debian is patched to *not* propagate dependencies (i.e., if libA depends on libB, then linking against libA will not automatically link against libB, it has to be explicit), contrary to what the Libtool manual document. So now we explicitly link against both libA and libB in such case. * configure.ac: Remove the workaround that does not work for MinGW. * doc/org/compile.org: Mention the issue. * bin/Makefile.am, tests/Makefile.am, spot/ltsmin/Makefile.am, doc/org/g++wrap.in: Make the dependencies explicit.	2017-06-11 23:15:20 +02:00
Alexandre Duret-Lutz	d02ee34e10	doc: add a spot(7) man page ... Suggested by Akim Demaille. Fixes #171. * bin/man/spot.x, bin/spot.cc: New files. * bin/man/Makefile.am, bin/Makefile.am: Add them. * doc/org/tools.org, NEWS: Mention the new page.	2016-05-02 10:41:41 +02:00
Alexandre Duret-Lutz	134dfc73de	move spot/bin/ and spot/tests/ up by one level ... * spot/bin/: Move... * bin/: ... here. * spot/tests/: Move... * tests/: ... here. * Makefile.am, README, bench/stutter/Makefile.am, bench/stutter/stutter_invariance_formulas.cc, doc/Makefile.am, configure.ac, debian/rules, spot/Makefile.am, spot/ltsmin/Makefile.am, spot/ltsmin/kripke.test, spot/sanity/style.test, python/tests/run.in: Adjust.	2015-12-27 20:10:59 +01:00

Renamed from spot/bin/Makefile.am (Browse further)