%general-entities; ]> Flex-&flex-version; Flex tools <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" href="../chapter06/flex.xml" xpointer="xpointer(/sect1/sect2[1]/para[1])"/> <segmentedlist> <segtitle>&buildtime;</segtitle> <segtitle>&diskspace;</segtitle> <seglistitem><seg>0.6 SBU</seg><seg>10.6 MB</seg></seglistitem> </segmentedlist> <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" href="../chapter06/flex.xml" xpointer="xpointer(/sect1/sect2[1]/segmentedlist[2])"/> </sect2> <sect2 role="installation"> <title>Installation of Flex Flex contains several known bugs. Fix these with the following patch: patch -Np1 -i ../flex-&flex-version;-debian-fixes-2.patch 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: touch doc/*.1 Now prepare Flex for compilation: ./configure --prefix=/tools Compile the package: make To test the results, issue: make check. Now install the package: make install <para>The details on this package are found in <xref linkend="contents-flex"/>.</para> </sect2> </sect1>