Changeset 026bb5d for BOOK/temp-system/common/cloog.xml

Timestamp:

Dec 18, 2013, 1:04:00 AM (11 years ago)

Author:

Chris Staub <chris@…>

Children:

f975b3a

Parents:

1c9985f (diff), 8abef998 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Updated simp branch to match main book

File:

• BOOK/temp-system/common/cloog.xml (moved) (moved from BOOK/temp-system/common/ppl.xml ) (2 diffs)

BOOK/temp-system/common/cloog.xml

@@ -6 +6 @@
 ]>
 
-<sect1 id="ch-temp-system-ppl" role="wrap">
-  <?dbhtml filename="ppl.html"?>
+<sect1 id="ch-temp-system-cloog" role="wrap">
+  <?dbhtml filename="cloog.html"?>
 
-  <title>PPL-&ppl-version;</title>
+  <title>CLooG &cloog-version;</title>
 
-  <indexterm zone="ch-temp-system-ppl">
-    <primary sortas="a-PPL">PPL</primary>
+  <indexterm zone="ch-temp-system-cloog">
+    <primary sortas="a-CLooG">CLooG</primary>
     <secondary>temporary system</secondary>
   </indexterm>
 
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
-  href="../../final-system/common/ppl.xml"
+  href="../../final-system/common/cloog.xml"
   xpointer="xpointer(//*[@role='package'])"/>
 
   <sect2 role="installation">
-    <title>Installation of PPL</title>
+    <title>Installation of CLooG</title>
 
-    <para os="a">Prepare PPL for compilation:</para>
+    <para os="a">Prepare CLooG for compilation:</para>
 
 <screen os="b"><userinput>./configure --prefix=/tools \
     --build=${CLFS_HOST} --host=${CLFS_TARGET} \
-    --enable-interfaces="c,cxx" --enable-shared --disable-optimization \
-    --with-libgmp-prefix=/tools --with-libgmpxx-prefix=/tools</userinput></screen>
-
-    <para os="bp1">When PPL is cross-compiled, it does not check whether
-    GMP was compiled with support for exceptions, and simply assumes it was not.
-    This assumption is incorrect, so we will fix that:</para>
-
-<screen os="bp2"><userinput>echo '#define PPL_GMP_SUPPORTS_EXCEPTIONS 1' >> confdefs.h</userinput></screen>
+    --with-gmp-prefix=/tools --with-isl-prefix=/tools</userinput></screen>
 
     <para os="c">Compile the package:</para>
@@ -50 +43 @@
 
     <para>Details on this package are located in <xref
-    linkend="contents-ppl" role="."/></para>
+    linkend="contents-cloog" role="."/></para>
 
   </sect2>