Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • BOOK/cross-tools/common/ppl.xml

    rdabbced r6af2662  
    2222  <sect2 role="installation">
    2323    <title>Installation of PPL</title>
    24 
    25     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
    26     href="../../final-system/common/ppl.xml"
    27     xpointer="xpointer(//*[@os='s1'])"/>
    28 
    29 <screen os="s2"><userinput>cp -v configure{,.orig}
    30 sed -e "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" \
    31     configure.orig > configure</userinput></screen>
    3224
    3325    <para os="a">Prepare PPL for compilation:</para>
Note: See TracChangeset for help on using the changeset viewer.