Changeset b1fb931 for chapter08/dejagnu.xml

Timestamp:

07/06/2021 03:00:16 PM (3 years ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

11.0, 11.0-rc1, 11.0-rc2, 11.0-rc3, 11.1, 11.1-rc1, 11.2, 11.2-rc1, 11.3, 11.3-rc1, 12.0, 12.0-rc1, 12.1, 12.1-rc1, arm, bdubbs/gcc13, ml-11.0, multilib, renodr/libudev-from-systemd, s6-init, trunk, xry111/arm64, xry111/arm64-12.0, xry111/clfs-ng, xry111/lfs-next, xry111/loongarch, xry111/loongarch-12.0, xry111/loongarch-12.1, xry111/mips64el, xry111/pip3, xry111/rust-wip-20221008, xry111/update-glibc

Children:

0939e519, 87119fd

Parents:

3e82345

Message:

DejaGNU: build in seperate directory

Upstream recommends it. And there are reports about test failure when
DejaGNU is build in source directory ("./configure").

File:

• chapter08/dejagnu.xml (modified) (1 diff)

chapter08/dejagnu.xml

@@ -43 +43 @@
     <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>