%general-entities; %patches-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>22.5 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. These can be fixed with the following patch: patch -Np1 -i ../&flex-fixes-patch; The GNU autotools will detect that the Flex source code has been modified by the previous patch and tries to update the manual page accordingly. This does not work on many systems, and the default page is fine, so make sure it does not 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. Install the package: make install <para>Details on this package are located in <xref linkend="contents-flex" role="."/></para> </sect2> </sect1>