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 &quot;find -name &quot;*ppl.*&quot;&quot; under &quot;/usr/&quot;:</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 &quot;find -name &quot;ppl.cma&quot;&quot; under &quot;/&quot;, it finds nothing.</div><div><br></div><div>Does it mean the package has not been correctly installed? Where do you often find your &quot;ppl.cma&quot;?</div>
<div><br></div><div>Thank you very much</div><div><br></div><div>Tie</div>