Changeset e81afa2
- Timestamp:
- Jul 25, 2010, 10:23:40 PM (14 years ago)
- Branches:
- clfs-1.2, clfs-2.1, clfs-3.0.0-systemd, clfs-3.0.0-sysvinit, master, systemd, sysvinit
- Children:
- 54d2269
- Parents:
- 134074b
- Location:
- BOOK
- Files:
-
- 13 edited
Legend:
- Unmodified
- Added
- Removed
-
BOOK/cross-tools/common/ppl.xml
r134074b re81afa2 23 23 <title>Installation of PPL</title> 24 24 25 <!--26 25 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 27 26 href="../../final-system/common/ppl.xml" 28 xpointer="xpointer(//*[@os='p1'])"/>27 xpointer="xpointer(//*[@os='s1'])"/> 29 28 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} 30 sed -e "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" \ 31 configure.orig > configure</userinput></screen> 34 32 35 33 <para os="a">Prepare PPL for compilation:</para> -
BOOK/final-system/common/cloog-ppl.xml
r134074b re81afa2 27 27 <sect2 role="installation"> 28 28 <title>Installation of CLooG-PPL</title> 29 30 <para os="s1">The following causes the configure script to look for the31 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>34 29 35 30 <para os="a">Prepare CLooG-PPL for compilation:</para> -
BOOK/final-system/common/ppl.xml
r134074b re81afa2 18 18 <title/> 19 19 20 20 <para>The Parma Polyhedra Library (PPL) provides numerical abstractions 21 21 especially targeted at applications in the field of analysis and 22 22 verification of complex systems. CLooG-PPL requires this library.</para> … … 26 26 <sect2 role="installation"> 27 27 <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> 28 33 29 34 <para os="a">Prepare PPL for compilation:</para> -
BOOK/final-system/mips64/ppl-64bit.xml
r134074b re81afa2 22 22 <title>Installation of PPL</title> 23 23 24 <!--25 24 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 26 25 href="../common/ppl.xml" 27 xpointer="xpointer(//*[@os=' p1'])"/>26 xpointer="xpointer(//*[@os='s1']"/> 28 27 29 28 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 30 29 href="../common/ppl.xml" 31 xpointer="xpointer(//*[@os='p2'])"/> 32 --> 30 xpointer="xpointer(//*[@os='s2'])"/> 33 31 34 32 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" -
BOOK/final-system/multilib/ppl-64bit.xml
r134074b re81afa2 22 22 <title>Installation of PPL</title> 23 23 24 <!--25 24 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 26 25 href="../common/ppl.xml" 27 xpointer="xpointer(//*[@os=' p1'])"/>26 xpointer="xpointer(//*[@os='s1'])"/> 28 27 29 28 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 30 29 href="../common/ppl.xml" 31 xpointer="xpointer(//*[@os='p2'])"/> 32 --> 30 xpointer="xpointer(//*[@os='s2'])"/> 33 31 34 32 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" -
BOOK/final-system/multilib/ppl-n32.xml
r134074b re81afa2 23 23 <title>Installation of PPL</title> 24 24 25 <!--26 25 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 27 26 href="../common/ppl.xml" 28 xpointer="xpointer(//*[@os=' p1'])"/>27 xpointer="xpointer(//*[@os='s1'])"/> 29 28 30 29 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 31 30 href="../common/ppl.xml" 32 xpointer="xpointer(//*[@os='p2'])"/> 33 --> 31 xpointer="xpointer(//*[@os='s2'])"/> 34 32 35 33 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" -
BOOK/final-system/multilib/ppl.xml
r134074b re81afa2 23 23 <title>Installation of PPL</title> 24 24 25 <!--26 25 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 27 26 href="../common/ppl.xml" 28 xpointer="xpointer(//*[@os=' p1'])"/>27 xpointer="xpointer(//*[@os='s1'])"/> 29 28 30 29 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 31 30 href="../common/ppl.xml" 32 xpointer="xpointer(//*[@os='p2'])"/> 33 --> 31 xpointer="xpointer(//*[@os='s2'])"/> 34 32 35 33 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" -
BOOK/introduction/common/changelog.xml
r134074b re81afa2 40 40 <para>July 25, 2010</para> 41 41 <itemizedlist> 42 <listitem> 43 <para>[jciccone] - Downgraded PPL to 0.10.2, GCC Incompatible.</para> 44 </listitem> 42 45 <listitem> 43 46 <para>[jciccone] - Added MPC 0.8.2 for GCC.</para> -
BOOK/packages.ent
r134074b re81afa2 339 339 <!ENTITY powerpcutils-home "http://packages.qa.debian.org/p/powerpc-utils.html"> 340 340 341 <!ENTITY ppl-version "0.1 1pre24">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"> 345 345 <!ENTITY ppl-home "http://www.cs.unipr.it/ppl"> 346 346 -
BOOK/temp-system/64/ppl.xml
r134074b re81afa2 23 23 <title>Installation of PPL</title> 24 24 25 <!--26 25 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 27 26 href="../common/ppl.xml" 28 xpointer="xpointer(//*[@os=' p1'])"/>27 xpointer="xpointer(//*[@os='s1'])"/> 29 28 30 29 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 31 30 href="../common/ppl.xml" 32 xpointer="xpointer(//*[@os='p2'])"/> 33 --> 31 xpointer="xpointer(//*[@os='s2'])"/> 34 32 35 33 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" … … 42 40 --disable-optimization --with-libgmp-prefix=/tools \ 43 41 --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'])"/> 44 50 45 51 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" -
BOOK/temp-system/common/cloog-ppl.xml
r134074b re81afa2 33 33 --> 34 34 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> 36 36 37 37 <screen os="s2"><userinput>cp -v configure{,.orig} 38 38 sed -e "/LD_LIBRARY_PATH=/d" \ 39 -e "s/^\(ppl_minor_version\)=.[0-9]/\1=11/" \40 39 configure.orig > configure</userinput></screen> 41 40 -
BOOK/temp-system/common/ppl.xml
r134074b re81afa2 23 23 <title>Installation of PPL</title> 24 24 25 <!--26 25 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 27 26 href="../../final-system/common/ppl.xml" 28 xpointer="xpointer(//*[@os=' p1'])"/>27 xpointer="xpointer(//*[@os='s1'])"/> 29 28 30 29 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 31 30 href="../../final-system/common/ppl.xml" 32 xpointer="xpointer(//*[@os='p2'])"/> 33 --> 31 xpointer="xpointer(//*[@os='s2'])"/> 34 32 35 33 <para os="a">Prepare PPL for compilation:</para> -
BOOK/temp-system/multilib/ppl.xml
r134074b re81afa2 23 23 <title>Installation of PPL</title> 24 24 25 <!--26 25 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 27 26 href="../common/ppl.xml" 28 xpointer="xpointer(//*[@os=' p1'])"/>27 xpointer="xpointer(//*[@os='s1'])"/> 29 28 30 29 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" 31 30 href="../common/ppl.xml" 32 xpointer="xpointer(//*[@os='p2'])"/> 33 --> 31 xpointer="xpointer(//*[@os='s2'])"/> 34 32 35 33 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude" … … 42 40 --disable-optimization --with-libgmp-prefix=/tools \ 43 41 --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'])"/> 44 50 45 51 <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
Note:
See TracChangeset
for help on using the changeset viewer.