Changeset e81afa2 for BOOK/final-system


Ignore:
Timestamp:
Jul 25, 2010, 10:23:40 PM (14 years ago)
Author:
Joe Ciccone <jciccone@…>
Branches:
clfs-1.2, clfs-2.1, clfs-3.0.0-systemd, clfs-3.0.0-sysvinit, master, systemd, sysvinit
Children:
54d2269
Parents:
134074b
Message:

Downgraded PPL to 0.10.2, GCC incompatible with 0.11pre24. Also clean up Cloog-PPL and remove a sed to make it work with 0.11.

Location:
BOOK/final-system
Files:
6 edited

Legend:

Unmodified
Added
Removed

  • BOOK/final-system/common/cloog-ppl.xml

    r134074b re81afa2  
    2727  <sect2 role="installation">
    2828    <title>Installation of CLooG-PPL</title>
    29 
    30     <para os="s1">The following causes the configure script to look for the
    31     version of PPL that was compiled in the previous step.</para>
    32 
    33 <screen os="s2"><userinput>sed -i "s/^\(ppl_minor_version\)=.[0-9]/\1=11/" configure</userinput></screen>
    3429
    3530    <para os="a">Prepare CLooG-PPL for compilation:</para>

  • BOOK/final-system/common/ppl.xml

    r134074b re81afa2  
    1818    <title/>
    1919
    20         <para>The Parma Polyhedra Library (PPL) provides numerical abstractions
     20    <para>The Parma Polyhedra Library (PPL) provides numerical abstractions
    2121    especially targeted at applications in the field of analysis and
    2222    verification of complex systems.  CLooG-PPL requires this library.</para>
    … …  
    2626  <sect2 role="installation">
    2727    <title>Installation of PPL</title>
     28
     29    <para os="s1">The following fixes an issue when detecting newer versions
     30    of GMP.</para>
     31
     32<screen os="s2"><userinput>sed -i "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" configure</userinput></screen>
    2833
    2934    <para os="a">Prepare PPL for compilation:</para>

  • BOOK/final-system/mips64/ppl-64bit.xml

    r134074b re81afa2  
    2222    <title>Installation of PPL</title>
    2323
    24 <!--
    2524    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    2625    href="../common/ppl.xml"
    27     xpointer="xpointer(//*[@os='p1'])"/>
     26    xpointer="xpointer(//*[@os='s1']"/>
    2827
    2928    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    3029    href="../common/ppl.xml"
    31     xpointer="xpointer(//*[@os='p2'])"/>
    32  -->
     30    xpointer="xpointer(//*[@os='s2'])"/>
    3331
    3432    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"

  • BOOK/final-system/multilib/ppl-64bit.xml

    r134074b re81afa2  
    2222    <title>Installation of PPL</title>
    2323
    24 <!--
    2524    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    2625    href="../common/ppl.xml"
    27     xpointer="xpointer(//*[@os='p1'])"/>
     26    xpointer="xpointer(//*[@os='s1'])"/>
    2827
    2928    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    3029    href="../common/ppl.xml"
    31     xpointer="xpointer(//*[@os='p2'])"/>
    32  -->
     30    xpointer="xpointer(//*[@os='s2'])"/>
    3331
    3432    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"

  • BOOK/final-system/multilib/ppl-n32.xml

    r134074b re81afa2  
    2323    <title>Installation of PPL</title>
    2424
    25 <!--
    2625    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    2726    href="../common/ppl.xml"
    28     xpointer="xpointer(//*[@os='p1'])"/>
     27    xpointer="xpointer(//*[@os='s1'])"/>
    2928
    3029    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    3130    href="../common/ppl.xml"
    32     xpointer="xpointer(//*[@os='p2'])"/>
    33  -->
     31    xpointer="xpointer(//*[@os='s2'])"/>
    3432
    3533    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"

  • BOOK/final-system/multilib/ppl.xml

    r134074b re81afa2  
    2323    <title>Installation of PPL</title>
    2424
    25 <!--
    2625    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    2726    href="../common/ppl.xml"
    28     xpointer="xpointer(//*[@os='p1'])"/>
     27    xpointer="xpointer(//*[@os='s1'])"/>
    2928
    3029    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    3130    href="../common/ppl.xml"
    32         xpointer="xpointer(//*[@os='p2'])"/>
    33  -->
     31        xpointer="xpointer(//*[@os='s2'])"/>
    3432
    3533    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
Note: See TracChangeset for help on using the changeset viewer.