%general-entities; ]> PPL-&ppl-version; N32 Libraries PPL N32 Installation of PPL CC="gcc -isystem /usr/include ${BUILDN32}" \ LDFLAGS="-Wl,-rpath-link,/lib32 ${BUILDN32}" ./configure --prefix=/usr \ --libdir=/usr/lib32 --enable-shared --with-libgmp-prefix=/usr \ --with-libgmpxx-prefix=/usr <para>Details on this package are located in <xref linkend="contents-ppl" role="."/></para> </sect2> </sect1>