flex.xml 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. <?xml version="1.0" encoding="ISO-8859-1"?>
  2. <!DOCTYPE sect1 PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN" "http://www.oasis-open.org/docbook/xml/4.4/docbookx.dtd" [
  3. <!ENTITY % general-entities SYSTEM "../general.ent">
  4. %general-entities;
  5. ]>
  6. <sect1 id="ch-tools-flex" xreflabel="Flex" role="wrap">
  7. <title>Flex-&flex-version;</title>
  8. <?dbhtml filename="flex.html"?>
  9. <sect2 role="package"><title/>
  10. <segmentedlist>
  11. <segtitle>&buildtime;</segtitle>
  12. <segtitle>&diskspace;</segtitle>
  13. <seglistitem><seg>0.6 SBU</seg><seg>10.6 MB</seg></seglistitem>
  14. </segmentedlist>
  15. </sect2>
  16. <sect2 role="installation">
  17. <title>Installation of Flex</title>
  18. <para>Apply a patch:</para>
  19. <screen><userinput>patch -Np1 -i ../flex-&flex-version;-debian_fixes-2.patch</userinput></screen>
  20. <para>Touch the man-page:</para>
  21. <screen><userinput>touch doc/flex.1</userinput></screen>
  22. <para>Now prepare Flex for compilation:</para>
  23. <screen><userinput>./configure --prefix=/tools</userinput></screen>
  24. <para>Compile the package:</para>
  25. <screen><userinput>make</userinput></screen>
  26. <para>To test the results, issue:
  27. <userinput>make check</userinput>.</para>
  28. <para>Now install the package:</para>
  29. <screen><userinput>make install</userinput></screen>
  30. </sect2>
  31. </sect1>