blob: 2e8a785c513d8f444f9b45bf09f528def57be7f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
<sect1 id="ch05-dejagnu">
<title>Installing DejaGnu-&dejagnu-version;</title>
<?dbhtml filename="dejagnu.html" dir="chapter05"?>
<screen>Estimated build time: &dejagnu-time-tools;
Estimated required disk space: &dejagnu-compsize-tools;</screen>
&aa-dejagnu-shortdesc;
&aa-dejagnu-desc;
<sect2><title> </title><para> </para></sect2>
<sect2>
<title>Installation of DejaGnu</title>
<para>Prepare DejaGnu for compilation:</para>
<screen><userinput>./configure --prefix=/tools</userinput></screen>
<para>Build and install the package:</para>
<screen><userinput>make install</userinput></screen>
</sect2>
</sect1>
|