summaryrefslogtreecommitdiff
path: root/support/splint/INSTALL
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/INSTALL')
-rw-r--r--support/splint/INSTALL10
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).