Changeset e81afa2


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
Files:
13 edited

Legend:

Unmodified
Added
Removed
  • BOOK/cross-tools/common/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="../../final-system/common/ppl.xml"
    28         xpointer="xpointer(//*[@os='p1'])"/>
     27    xpointer="xpointer(//*[@os='s1'])"/>
    2928
    30     <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
    31     href="../../final-system/common/ppl.xml"
    32         xpointer="xpointer(//*[@os='p2'])"/>
    33  -->
     29<screen os="s2"><userinput>cp configure{,.orig}
     30sed -e "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" \
     31    configure.orig > configure</userinput></screen>
    3432
    3533    <para os="a">Prepare PPL for compilation:</para>
  • 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"
  • BOOK/introduction/common/changelog.xml

    r134074b re81afa2  
    4040      <para>July 25, 2010</para>
    4141      <itemizedlist>
     42        <listitem>
     43          <para>[jciccone] - Downgraded PPL to 0.10.2, GCC Incompatible.</para>
     44        </listitem>
    4245        <listitem>
    4346          <para>[jciccone] - Added MPC 0.8.2 for GCC.</para>
  • BOOK/packages.ent

    r134074b re81afa2  
    339339<!ENTITY powerpcutils-home "http://packages.qa.debian.org/p/powerpc-utils.html">
    340340
    341 <!ENTITY ppl-version "0.11pre24">
    342 <!ENTITY ppl-size "11,232 KB">
    343 <!ENTITY ppl-url "http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-&ppl-version;.tar.bz2">
    344 <!ENTITY ppl-md5 "14f4d5297a161f9ba22c33945fc61a27">
     341<!ENTITY ppl-version "0.10.2">
     342<!ENTITY ppl-size "9,592 KB">
     343<!ENTITY ppl-url "http://www.cs.unipr.it/ppl/Download/ftp/releases/&ppl-version;/ppl-&ppl-version;.tar.bz2">
     344<!ENTITY ppl-md5 "5667111f53150618b0fa522ffc53fc3e">
    345345<!ENTITY ppl-home "http://www.cs.unipr.it/ppl">
    346346
  • BOOK/temp-system/64/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"
     
    4240    --disable-optimization --with-libgmp-prefix=/tools \
    4341    --with-libgmpxx-prefix=/tools</userinput></screen>
     42
     43    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
     44    href="../common/ppl.xml"
     45    xpointer="xpointer(//*[@os='bp1'])"/>
     46
     47    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
     48    href="../common/ppl.xml"
     49    xpointer="xpointer(//*[@os='bp2'])"/>
    4450
    4551    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
  • BOOK/temp-system/common/cloog-ppl.xml

    r134074b re81afa2  
    3333-->
    3434
    35     <para os="s1">The following prevents the configure script from setting <envar>LD_LIBRARY_PATH</envar> when it finds PPL. This will prevent any conflicts with libraries from the host system. Also, Have the configure script look for the version of PPL that we compiled in the previous step:</para>
     35    <para os="s1">The following prevents the configure script from setting <envar>LD_LIBRARY_PATH</envar> when it finds PPL. This will prevent any conflicts with libraries from the host system:</para>
    3636
    3737<screen os="s2"><userinput>cp -v configure{,.orig}
    3838sed -e "/LD_LIBRARY_PATH=/d" \
    39     -e "s/^\(ppl_minor_version\)=.[0-9]/\1=11/" \
    4039    configure.orig &gt; configure</userinput></screen>
    4140
  • BOOK/temp-system/common/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="../../final-system/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="../../final-system/common/ppl.xml"
    32     xpointer="xpointer(//*[@os='p2'])"/>
    33 -->
     31    xpointer="xpointer(//*[@os='s2'])"/>
    3432
    3533    <para os="a">Prepare PPL for compilation:</para>
  • BOOK/temp-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"
     
    4240    --disable-optimization --with-libgmp-prefix=/tools \
    4341    --with-libgmpxx-prefix=/tools</userinput></screen>
     42
     43    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
     44    href="../common/ppl.xml"
     45    xpointer="xpointer(//*[@os='bp1'])"/>
     46
     47    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
     48    href="../common/ppl.xml"
     49    xpointer="xpointer(//*[@os='bp2'])"/>
    4450
    4551    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
Note: See TracChangeset for help on using the changeset viewer.