Changes in BOOK/final-system/common/ppl.xml [6af2662:e81afa2]

File:

• BOOK/final-system/common/ppl.xml (modified) (1 diff)

BOOK/final-system/common/ppl.xml

@@ -26 +26 @@
   <sect2 role="installation">
     <title>Installation of PPL</title>
+
+    <para os="s1">The following fixes an issue when detecting newer versions
+    of GMP.</para>
+
+<screen os="s2"><userinput>sed -i "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" configure</userinput></screen>
 
     <para os="a">Prepare PPL for compilation:</para>