Changeset e81afa2 for BOOK/final-system/common

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.

Location:

BOOK/final-system/common

Files:

• cloog-ppl.xml (modified) (1 diff)
• ppl.xml (modified) (2 diffs)

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

@@ -27 +27 @@
   <sect2 role="installation">
     <title>Installation of CLooG-PPL</title>
-
-    <para os="s1">The following causes the configure script to look for the
-    version of PPL that was compiled in the previous step.</para>
-
-<screen os="s2"><userinput>sed -i "s/^\(ppl_minor_version\)=.[0-9]/\1=11/" configure</userinput></screen>
 
     <para os="a">Prepare CLooG-PPL for compilation:</para>

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>