diff options
Diffstat (limited to 'chapter06/flex.xml')
| -rw-r--r-- | chapter06/flex.xml | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/chapter06/flex.xml b/chapter06/flex.xml index 4210a6fc8..34f0fbc1e 100644 --- a/chapter06/flex.xml +++ b/chapter06/flex.xml @@ -23,7 +23,17 @@ GCC, Gettext, Glibc, Grep, M4, Make, Sed.</para> <sect2> <title>Installation of Flex</title> -<para>Prepare Flex for compilation:</para> +<para>Flex contains several known bugs. Fix these with the following patch:</para> + +<screen><userinput>patch -Np1 -i ../flex-&flex-version;-debian-fixes-2.patch</userinput></screen> + +<para>The GNU autotools detects that the Flex source code has been modified by the patch, +and tries to update the man pages to include those changes, but this breaks on many +systems, and the default pages are fine, so make sure they don't get renegerated:</para> + +<screen><userinput>touch doc/*.1</userinput></screen> + +<para>Now prepare Flex for compilation:</para> <screen><userinput>./configure --prefix=/usr</userinput></screen> @@ -32,7 +42,7 @@ GCC, Gettext, Glibc, Grep, M4, Make, Sed.</para> <screen><userinput>make</userinput></screen> <para>To test the results, issue: -<userinput>make bigcheck</userinput>.</para> +<userinput>make check</userinput>.</para> <para>Now install the package:</para> |