diff options
author | Norbert Preining <norbert@preining.info> | 2020-10-12 03:04:00 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-10-12 03:04:00 +0000 |
commit | 0ce40abb18ec02ec6fd6bcc5f21612c88daa7578 (patch) | |
tree | 416289fe1448873fd8ca33051f50ad85bffa8aaa /support/splint/INSTALL | |
parent | fdb18507cd80dc17f5a5256153d34668b4f4e61c (diff) |
CTAN sync 202010120303
Diffstat (limited to 'support/splint/INSTALL')
-rw-r--r-- | support/splint/INSTALL | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/support/splint/INSTALL b/support/splint/INSTALL index 11e85736ed..033877aba0 100644 --- a/support/splint/INSTALL +++ b/support/splint/INSTALL @@ -1,3 +1,19 @@ +% Copyright 2012-2020, Alexander Shibakov +% This file is part of SPLinT +% +% SPLinT is free software: you can redistribute it and/or modify +% it under the terms of the GNU General Public License as published by +% the Free Software Foundation, either version 3 of the License, or +% (at your option) any later version. +% +% SPLinT is distributed in the hope that it will be useful, +% but WITHOUT ANY WARRANTY; without even the implied warranty of +% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +% GNU General Public License for more details. +% +% You should have received a copy of the GNU General Public License +% along with SPLinT. If not, see <http://www.gnu.org/licenses/>. + There is no specific installation procedure to follow for SPLinT, although there are a few dependencies to keep in mind. To build all the tools in the package, you will need the usual suite of build tools (gcc, @@ -18,8 +34,8 @@ to pay for the arrogance and shortsightedness of bison maintainers and developers. Therefore, as of this release, this package is only intended to be used with bison version 2.7 or lower. So far, the latest release of flex (2.5.39) is still compatible with SPLinT. In -case the local version of bison (and possibly, flex, in the future) is -incompatible with splint, it is recommended that a local version is +case the system version of bison (and possibly, flex, in the future) is +incompatible with SPLinT, it is recommended that a local version is compiled and used. For this purpose, make variables BISON_ROOT and FLEX_ROOT can be set to the appropriate locations in makefile.loc. The appropriate versions of bison and flex can be downloaded from @@ -34,7 +50,7 @@ The arrays (yyprhs and yyrhs) only affect the error reporting and the (following the route taken by bison itself), however, the latter one is a much more serious issue. If one is not using symbolic names for grammar terms, the arrays can be ignored. The approach taken by the -curent version of bison is to use the state stack and yystos, yyr1, +current version of bison is to use the state stack and yystos, yyr1, and yyr2 arrays instead. Note that this is somewhat inconsistent with the purpose of the debugging output since the error reporting routines rely on the correct state of the state stack (yyssa) rather than on a |