Changeset 026bb5d for BOOK/cross-tools/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/cross-tools/common/cloog.xml (moved) (moved from BOOK/cross-tools/common/ppl.xml ) (2 diffs)

BOOK/cross-tools/common/cloog.xml

@@ -6 +6 @@
 ]>
 
-<sect1 id="ch-cross-tools-ppl" role="wrap">
-  <?dbhtml filename="ppl.html"?>
+<sect1 id="ch-cross-tools-cloog" role="wrap">
+  <?dbhtml filename="cloog.html"?>
 
-  <title>PPL-&ppl-version;</title>
+  <title>CLooG-&cloog-version;</title>
 
-  <indexterm zone="ch-cross-tools-ppl">
-    <primary sortas="a-PPL">PPL</primary>
+  <indexterm zone="ch-cross-tools-cloog">
+    <primary sortas="a-CLooG">CLooG</primary>
     <secondary>cross-tools</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>CPPFLAGS="-I/cross-tools/include" \
-    LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
-    ./configure --prefix=/cross-tools --enable-shared \
-    --enable-interfaces="c,cxx" --disable-optimization \
-    --with-libgmp-prefix=/cross-tools \
-    --with-libgmpxx-prefix=/cross-tools</userinput></screen>
+<screen os="b"><userinput>LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
+    ./configure --prefix=/cross-tools --disable-static \
+    --with-gmp-prefix=/cross-tools --with-isl-prefix=/cross-tools</userinput></screen>
 
     <para os="c">Compile the package:</para>
@@ -46 +43 @@
 
     <para>Details on this package are located in <xref
-    linkend="contents-ppl" role="."/></para>
+    linkend="contents-cloog" role="."/></para>
 
   </sect2>