-
Alexandre Duret-Lutz authored
* iface/gspn/Makefile.am (TESTS): Add dcswaveltl.test. (ltlgspn_rg_LDADD, ltlgspn_srg_LDADD, ltlgspn_rg_SOURCES) (ltlgspn_srg_SOURCES): New variables. (check_PROGRAMS): Add ltlgspn-rg and ltlgspn-srg.
7ffd3e6e
To find the state of this project's repository at the time of any of these versions, check out the tags.