[9dfc02f] | 1 | <?xml version="1.0" encoding="ISO-8859-1"?>
|
---|
[1770019] | 2 | <!DOCTYPE sect1 PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN" "http://www.oasis-open.org/docbook/xml/4.4/docbookx.dtd" [
|
---|
[9dfc02f] | 3 | <!ENTITY % general-entities SYSTEM "../general.ent">
|
---|
| 4 | %general-entities;
|
---|
| 5 | ]>
|
---|
[81fd230] | 6 | <sect1 id="ch-tools-flex" role="wrap">
|
---|
[9dfc02f] | 7 | <title>Flex-&flex-version;</title>
|
---|
| 8 | <?dbhtml filename="flex.html"?>
|
---|
| 9 |
|
---|
[81fd230] | 10 | <indexterm zone="ch-tools-flex">
|
---|
| 11 | <primary sortas="a-Flex">Flex</primary>
|
---|
| 12 | <secondary>tools</secondary></indexterm>
|
---|
| 13 |
|
---|
[9652249] | 14 | <sect2 role="package"><title/>
|
---|
[81fd230] | 15 | <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" href="../chapter06/flex.xml" xpointer="xpointer(/sect1/sect2[1]/para[1])"/>
|
---|
[9dfc02f] | 16 |
|
---|
[9652249] | 17 | <segmentedlist>
|
---|
| 18 | <segtitle>&buildtime;</segtitle>
|
---|
| 19 | <segtitle>&diskspace;</segtitle>
|
---|
[fc1024a] | 20 | <seglistitem><seg>0.6 SBU</seg><seg>22.5 MB</seg></seglistitem>
|
---|
[9652249] | 21 | </segmentedlist>
|
---|
[9dfc02f] | 22 |
|
---|
[81fd230] | 23 | <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" href="../chapter06/flex.xml" xpointer="xpointer(/sect1/sect2[1]/segmentedlist[2])"/>
|
---|
| 24 |
|
---|
[9652249] | 25 | </sect2>
|
---|
[9dfc02f] | 26 |
|
---|
[9652249] | 27 | <sect2 role="installation">
|
---|
[22724b7] | 28 | <title>Installation of Flex</title>
|
---|
[9dfc02f] | 29 |
|
---|
[81fd230] | 30 | <para>Flex contains several known bugs. These can be fixed with the
|
---|
| 31 | following patch:</para>
|
---|
[3d36131c] | 32 |
|
---|
[6982a04] | 33 | <screen><userinput>patch -Np1 -i ../flex-&flex-version;-debian_fixes-3.patch</userinput></screen>
|
---|
[9dfc02f] | 34 |
|
---|
[81fd230] | 35 | <para>The GNU autotools will detect that the Flex source code has been
|
---|
[37428334] | 36 | modified by the previous patch and tries to update the man page
|
---|
[81fd230] | 37 | accordingly. This does not work on many systems, and the default page is
|
---|
| 38 | fine, so make sure it does not get regenerated:</para>
|
---|
[3d36131c] | 39 |
|
---|
[2def124] | 40 | <screen><userinput>touch doc/flex.1</userinput></screen>
|
---|
[9dfc02f] | 41 |
|
---|
| 42 | <para>Now prepare Flex for compilation:</para>
|
---|
| 43 |
|
---|
| 44 | <screen><userinput>./configure --prefix=/tools</userinput></screen>
|
---|
| 45 |
|
---|
| 46 | <para>Compile the package:</para>
|
---|
| 47 |
|
---|
| 48 | <screen><userinput>make</userinput></screen>
|
---|
| 49 |
|
---|
| 50 | <para>To test the results, issue:
|
---|
| 51 | <userinput>make check</userinput>.</para>
|
---|
| 52 |
|
---|
[81fd230] | 53 | <para>Install the package:</para>
|
---|
[9dfc02f] | 54 |
|
---|
| 55 | <screen><userinput>make install</userinput></screen>
|
---|
| 56 |
|
---|
| 57 | </sect2>
|
---|
| 58 |
|
---|
[81fd230] | 59 | <sect2 role="content"><title/>
|
---|
| 60 | <para>Details on this package are located in <xref
|
---|
| 61 | linkend="contents-flex" role="."/></para>
|
---|
| 62 | </sect2>
|
---|
| 63 |
|
---|
[9dfc02f] | 64 | </sect1>
|
---|
[81fd230] | 65 |
|
---|