%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 previous patch, and tries to update the manual page accordingly, but this breaks on many systems, and the default page is fine, so make sure it doesn't get regenerated: touch doc/flex.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>