summaryrefslogtreecommitdiff
path: root/support/splint/INSTALL
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-10-12 03:04:00 +0000
committerNorbert Preining <norbert@preining.info>2020-10-12 03:04:00 +0000
commit0ce40abb18ec02ec6fd6bcc5f21612c88daa7578 (patch)
tree416289fe1448873fd8ca33051f50ad85bffa8aaa /support/splint/INSTALL
parentfdb18507cd80dc17f5a5256153d34668b4f4e61c (diff)
CTAN sync 202010120303
Diffstat (limited to 'support/splint/INSTALL')
-rw-r--r--support/splint/INSTALL22
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