diff options
Diffstat (limited to 'support/splint/INSTALL')
| -rw-r--r-- | support/splint/INSTALL | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/support/splint/INSTALL b/support/splint/INSTALL index 033877aba0..a8a1634b55 100644 --- a/support/splint/INSTALL +++ b/support/splint/INSTALL @@ -1,4 +1,4 @@ -% Copyright 2012-2020, Alexander Shibakov +% Copyright 2012-2024, Alexander Shibakov % This file is part of SPLinT % % SPLinT is free software: you can redistribute it and/or modify @@ -40,7 +40,13 @@ 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 http://ftp.gnu.org/gnu/bison/ and http://flex.sourceforge.net/, -respectively. The installation instructions in those packages are easy +respectively. Due to the changes in glibc, the bison that comes with the +distribution (bison-2.7) needs to be patched first. Uncompress the archive +(bison-2.7.tar.gz) in some directory, copy bison_patch1 to it and run + + # patch -p0 < bison_patch1 + +The installation instructions in those packages are easy to follow (the standard ./configure --prefix=<local bin directory> &&\ make && cp src/bison <local bin directory> && cp -a data/* \ <local bin directory>/share/bison should work). |