Commit 4aea8548 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* lbtt/src/Makefile.am (lbtt_translate_SOURCES): Fix leftover

from 1.0.3 merge.
parent 9e269dad
2004-02-21 Alexandre Duret-Lutz <adl@src.lip6.fr>
* lbtt/src/Makefile.am (lbtt_translate_SOURCES): Fix leftover
from 1.0.3 merge.
* wrap/python/cgi/ltl2tgba.in: Process ltl2tgba.opt if it exists.
* wrap/python/cgi/ltl2tgba.in: Color translators and their options.
......
......@@ -51,13 +51,13 @@ EXTRA_lbtt_SOURCES = gnu-getopt.h Config-parse.h
lbtt_LDADD = $(LIBOBJS) $(READLINELIBS)
lbtt_translate_SOURCES = \
ObstackAlloc.h \
BitArray.h \
BitArray.cc \
Exception.h \
ExternalTranslator.h \
ExternalTranslator.cc \
FormulaWriter.h \
LbttAlloc.h \
LbtWrapper.h \
LtlFormula.h \
LtlFormula.cc \
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment