| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 | <?xml version="1.0" encoding="ISO-8859-1"?><!DOCTYPE sect1 PUBLIC "-//OASIS//DTD DocBook XML V4.3//EN" "http://www.oasis-open.org/docbook/xml/4.3/docbookx.dtd" [  <!ENTITY % general-entities SYSTEM "../general.ent">  %general-entities;]><sect1 id="ch-tools-flex" xreflabel="Flex" role="wrap"><title>Flex-&flex-version;</title><?dbhtml filename="flex.html"?><sect2 role="package"><title/><segmentedlist><segtitle>&buildtime;</segtitle><segtitle>&diskspace;</segtitle><seglistitem><seg>0.6 SBU</seg><seg>10.6 MB</seg></seglistitem></segmentedlist></sect2><sect2 role="installation"><title>Installation of Flex</title><para>Apply a patch:</para><screen><userinput>patch -Np1 -i ../flex-&flex-version;-debian_fixes-2.patch</userinput></screen><para>Touch the man-page:</para><screen><userinput>touch doc/flex.1</userinput></screen><para>Now prepare Flex for compilation:</para><screen><userinput>./configure --prefix=/tools</userinput></screen><para>Compile the package:</para><screen><userinput>make</userinput></screen><para>To test the results, issue:<userinput>make check</userinput>.</para><para>Now install the package:</para><screen><userinput>make install</userinput></screen></sect2></sect1>
 |