Changeset e81afa2 for BOOK/final-system/common/ppl.xml

Timestamp:

Jul 25, 2010, 3: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.

File:

• BOOK/final-system/common/ppl.xml (modified) (2 diffs)

BOOK/final-system/common/ppl.xml

@@ -18 +18 @@
     <title/>
 
-        <para>The Parma Polyhedra Library (PPL) provides numerical abstractions
+    <para>The Parma Polyhedra Library (PPL) provides numerical abstractions
     especially targeted at applications in the field of analysis and
     verification of complex systems.  CLooG-PPL requires this library.</para>
@@ -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>