DejaGNU: build in seperate directory

Upstream recommends it.  And there are reports about test failure when
DejaGNU is build in source directory ("./configure").
This commit is contained in:
Xi Ruoyao 2021-07-06 23:00:16 +08:00
parent 3e8234557c
commit b1fb931003
No known key found for this signature in database
GPG Key ID: D95E4716CCBB34DC

View File

@ -42,11 +42,17 @@
<sect2 role="installation">
<title>Installation of DejaGNU</title>
<para>The upstream recommends building DejaGNU in a dedicated build
directory:</para>
<screen><userinput remap="pre">mkdir -v build
cd build</userinput></screen>
<para>Prepare DejaGNU for compilation:</para>
<screen><userinput remap="configure">./configure --prefix=/usr
makeinfo --html --no-split -o doc/dejagnu.html doc/dejagnu.texi
makeinfo --plaintext -o doc/dejagnu.txt doc/dejagnu.texi</userinput></screen>
<screen><userinput remap="configure">../configure --prefix=/usr
makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi
makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi</userinput></screen>
<para>Build and install the package:</para>