Changes in BOOK/cross-tools/common/ppl.xml [6af2662:dabbced]

File:

• BOOK/cross-tools/common/ppl.xml (modified) (1 diff)

BOOK/cross-tools/common/ppl.xml

@@ -22 +22 @@
   <sect2 role="installation">
     <title>Installation of PPL</title>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../final-system/common/ppl.xml"
+    xpointer="xpointer(//*[@os='s1'])"/>
+
+<screen os="s2"><userinput>cp -v configure{,.orig}
+sed -e "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" \
+    configure.orig > configure</userinput></screen>
 
     <para os="a">Prepare PPL for compilation:</para>