When setting TARGETPLATFORM, we should also set foo_TARGET_ARCH,
bar_TARGET_OS, etc.
<itemizedlist>
<listitem>
<para>change <literal>TARGETPLATFORM</literal>
- appropriately.</para>
+ appropriately, and set the variables involving
+ <literal>TARGET</literal> to the correct values for
+ the target platform. This step is necessary because
+ currently <literal>configure</literal> doesn't cope
+ with specifying different values for the
+ <literal>--host</literal> and
+ <literal>--target</literal> flags.</para>
</listitem>
<listitem>
<para>copy <literal>LeadingUnderscore</literal>
</listitem>
</itemizedlist>
</listitem>
-
+
<listitem>
<para>Copy
<filename><replaceable>T</replaceable>/ghc/includes/config.h</filename>