Changeset af43a09 for BOOK/cross-tools/common

Timestamp:

Apr 16, 2011, 2:33:52 PM (14 years ago)

Author:

Joe Ciccone <jciccone@…>

Children:

2643b9b4

Parents:

7b0cc7e8 (diff), af891d2 (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:

Merge branch 'master' into simp

Location:

BOOK/cross-tools/common

Files:

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

BOOK/cross-tools/common/cloog-ppl.xml

@@ -22 +22 @@
   <sect2 role="installation">
     <title>Installation of CLooG-PPL</title>
-
-    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
-    href="../../final-system/common/cloog-ppl.xml"
-    xpointer="xpointer(//*[@os='p1'])"/>
-
-    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
-    href="../../final-system/common/cloog-ppl.xml"
-    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"

BOOK/cross-tools/common/ppl.xml

@@ -22 +22 @@
   <sect2 role="installation">
     <title>Installation of PPL</title>
-
-    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
-    href="../../final-system/common/ppl.xml"
-    xpointer="xpointer(//*[@os='s1'])"/>
-
-<screen os="s2"><userinput>cp -v configure{,.orig}
-sed -e "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" \
-    configure.orig > configure</userinput></screen>
 
     <para os="a">Prepare PPL for compilation:</para>