%general-entities; ]> ISL-&isl-version; ISL temporary system Installation of ISL Prepare ISL for compilation: ./configure --prefix=/tools \ --build=${CLFS_HOST} --host=${CLFS_TARGET} \ --with-gmp-prefix=/tools Compile the package: make Install the package: make install <para>Details on this package are located in <xref linkend="contents-isl" role="."/></para> </sect2> </sect1>