Author: niels
Date: Mon May 26 21:39:04 2014
New Revision: 9463
URL: http://svn.gna.org/viewcvs/service-tech?rev=9463&view=rev
Log:
* fixed regression bug in formula parser
* added a manpage
Modified:
trunk/lola2/doc/Makefile.am
trunk/lola2/src/Frontend/Parser/ParserFormula.yy
Modified: trunk/lola2/doc/Makefile.am
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/Makefile.am?rev=9463&r1=9462&r2=9463&view=diff
==============================================================================
--- trunk/lola2/doc/Makefile.am (original)
+++ trunk/lola2/doc/Makefile.am Mon May 26 21:39:04 2014
@@ -1,4 +1,24 @@
.PHONY : _cppcheck _style doxygen
+
+DISTCLEANFILES =
+
+# Texinfo
+
+info_TEXINFOS = lola.texi
+lola_TEXINFOS = grammars outputs
+
+DISTCLEANFILES += lola.aux lola.cp lola.cps lola.fn lola.ky lola.log lola.pg
lola.toc lola.tp lola.vr
+
+# Manpage
+
+man1_MANS = lola.man
+
+lola.man:
+ $(AM_V_GEN)$(HELP2MAN) $(top_builddir)/src/lola
--help-option=--detailed-help --output=$@
+
+DISTCLEANFILES += lola.man
+
+# Rest
doxygen:
doxygen
@@ -12,9 +32,6 @@
_cpplint:
-for FILE in `find ../src -type f -name "*.[ch]" -o -name "*.cc" -o
-name "*.inc"`; do ./cpplint.py
--filter=-whitespace/braces,-legal/copyright,-build/header_guard,-whitespace/line_length,-whitespace/labels,-whitespace/newline
$$FILE 2>&1; done
-info_TEXINFOS = lola.texi
-lola_TEXINFOS = grammars outputs
-
#############################################################################
# run the "gendocs.sh" script to create a manual in several formats
#############################################################################
Modified: trunk/lola2/src/Frontend/Parser/ParserFormula.yy
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Frontend/Parser/ParserFormula.yy?rev=9463&r1=9462&r2=9463&view=diff
==============================================================================
--- trunk/lola2/src/Frontend/Parser/ParserFormula.yy (original)
+++ trunk/lola2/src/Frontend/Parser/ParserFormula.yy Mon May 26 21:39:04 2014
@@ -98,6 +98,7 @@
%right _ALWAYS_ _EVENTUALLY_ _NEXTSTATE_
%right _UNTIL_
%right _ALLPATH_ _EXPATH_ _CTLOPERATOR_
+%right _REACHABLE_ _INVARIANT_ _IMPOSSIBLE_
%{
// parser essentials
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
