* iface/gspn/ltleesrg.cc: New file.

* iface/gspn/Makefile.am (check_PROGRAMS): Add ltleesrg.
(ltleesrg_LDADD, ltleesrg_SOURCES): New variables.
This commit is contained in:
Alexandre Duret-Lutz 2003-12-30 16:08:18 +00:00
parent e8a0fbc9a7
commit 03704d635e
3 changed files with 104 additions and 1 deletions

View file

@ -46,7 +46,8 @@ check_PROGRAMS = \
dottygspn-srg \
dottygspn-eesrg \
ltlgspn-rg \
ltlgspn-srg
ltlgspn-srg \
ltleesrg
dottygspn_rg_SOURCES = dottygspn.cc
dottygspn_rg_LDADD = libspotgspn.la $(LIBGSPNRG_LDFLAGS)
@ -63,6 +64,9 @@ ltlgspn_rg_LDADD = libspotgspn.la $(LIBGSPNRG_LDFLAGS)
ltlgspn_srg_SOURCES = ltlgspn.cc
ltlgspn_srg_LDADD = libspotgspn.la $(LIBGSPNSRG_LDFLAGS)
ltleesrg_SOURCES = ltleesrg.cc
ltleesrg_LDADD = libspotgspneesrg.la $(LIBGSPNESRG_LDFLAGS)
EXTRA_DIST = \
examples/DCSwave/DCSWave.def \
examples/DCSwave/DCSWave.net \