Hello,<div><br></div><div>I have downloaded ppl package and follow the steps to install it under /usr/local/lib... Here is the result of "find -name "*ppl.*"" under "/usr/":</div><div><div><br>
</div><div>    ./lib/libppl.so.7.1.0</div><div>    ./lib/libppl.so.7</div><div>    ./lib/libcloog-ppl.so.0</div><div>    ./local/share/man/man3/libppl.3</div><div>    ./local/share/aclocal/ppl.m4</div><div>    ./local/include/ppl.hh</div>
<div>    ./local/lib/libppl.so</div><div>    ./local/lib/<a href="http://libppl.la">libppl.la</a></div><div>    ./local/lib/libppl.a</div><div>    ./local/lib/libppl.so.9</div><div>    ./local/lib/libppl.so.9.0.0</div></div>
<div><br></div><div>I have done "find -name "ppl.cma"" under "/", it finds nothing.</div><div><br></div><div>Does it mean the package has not been correctly installed? Where do you often find your "ppl.cma"?</div>
<div><br></div><div>Thank you very much</div><div><br></div><div>Tie</div>