diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index 318eb1506..73218be46 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -7,7 +7,21 @@ Estimated required disk space: &dejagnu-compsize-tools;</screen> &aa-dejagnu-shortdesc; &aa-dejagnu-dep; -&c5-dejagnu-inst; + +<sect2><title> </title><para> </para></sect2> + +<sect2> +<title>Installation of DejaGnu</title> + +<para>Prepare DejaGnu to be compiled:</para> + +<screen><userinput>./configure --prefix=/tools</userinput></screen> + +<para>Build and install the package:</para> + +<screen><userinput>make install</userinput></screen> + +</sect2> </sect1> |