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" role="wrap">
|
---|
7 | <title>Flex-&flex-version;</title>
|
---|
8 | <?dbhtml filename="flex.html"?>
|
---|
9 |
|
---|
10 | <indexterm zone="ch-tools-flex">
|
---|
11 | <primary sortas="a-Flex">Flex</primary>
|
---|
12 | <secondary>tools</secondary></indexterm>
|
---|
13 |
|
---|
14 | <sect2 role="package"><title/>
|
---|
15 | <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" href="../chapter06/flex.xml" xpointer="xpointer(/sect1/sect2[1]/para[1])"/>
|
---|
16 |
|
---|
17 | <segmentedlist>
|
---|
18 | <segtitle>&buildtime;</segtitle>
|
---|
19 | <segtitle>&diskspace;</segtitle>
|
---|
20 | <seglistitem><seg>0.6 SBU</seg><seg>22.5 MB</seg></seglistitem>
|
---|
21 | </segmentedlist>
|
---|
22 |
|
---|
23 | <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" href="../chapter06/flex.xml" xpointer="xpointer(/sect1/sect2[1]/segmentedlist[2])"/>
|
---|
24 |
|
---|
25 | </sect2>
|
---|
26 |
|
---|
27 | <sect2 role="installation">
|
---|
28 | <title>Installation of Flex</title>
|
---|
29 |
|
---|
30 | <para>Flex contains several known bugs. These can be fixed with the
|
---|
31 | following patch:</para>
|
---|
32 |
|
---|
33 | <screen><userinput>patch -Np1 -i ../flex-&flex-version;-debian_fixes-3.patch</userinput></screen>
|
---|
34 |
|
---|
35 | <para>The GNU autotools will detect that the Flex source code has been
|
---|
36 | modified by the previous patch and tries to update the man page
|
---|
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>
|
---|
39 |
|
---|
40 | <screen><userinput>touch doc/flex.1</userinput></screen>
|
---|
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 |
|
---|
53 | <para>Install the package:</para>
|
---|
54 |
|
---|
55 | <screen><userinput>make install</userinput></screen>
|
---|
56 |
|
---|
57 | </sect2>
|
---|
58 |
|
---|
59 | <sect2 role="content"><title/>
|
---|
60 | <para>Details on this package are located in <xref
|
---|
61 | linkend="contents-flex" role="."/></para>
|
---|
62 | </sect2>
|
---|
63 |
|
---|
64 | </sect1>
|
---|
65 |
|
---|