<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman,new york,times,serif;font-size:12pt"><div>See the attachments.<br></div><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><br><div style="font-family:arial, helvetica, sans-serif;font-size:13px"><font face="Tahoma" size="2"><hr size="1"><b><span style="font-weight: bold;">From:</span></b> Enea Zaffanella <zaffanella@cs.unipr.it><br><b><span style="font-weight: bold;">To:</span></b> The Parma Polyhedra Library developers' list <ppl-devel@cs.unipr.it><br><b><span style="font-weight: bold;">Cc:</span></b> Sergey Oboguev <oboguev@yahoo.com><br><b><span style="font-weight: bold;">Sent:</span></b> Fri, May 11, 2012 6:13:56 AM<br><b><span style="font-weight: bold;">Subject:</span></b> Re: [PPL-devel] PPL make check fails (OS X)<br></font><br>
On 05/11/2012 06:00 AM, Sergey Oboguev wrote:<br>> When building ppl-0.12.1 on OS X,<br>><br>> tests failed: test04 test05<br>> FAIL: polyhedron1<br>> tests failed: test04 test05<br>> FAIL: polyhedron2<br>> ======================================<br>> 2 of 10 tests failed<br>> Please report to <a ymailto="mailto:ppl-devel@cs.unipr.it" href="mailto:ppl-devel@cs.unipr.it">ppl-devel@cs.unipr.it</a><br>> ======================================<br>> make[5]: *** [check-TESTS] Error 1<br>> make[4]: *** [check-am] Error 2<br>> make[3]: *** [run_tests.stamp] Error 1<br>> make[2]: *** [check-am] Error 2<br>> make[1]: *** [check-recursive] Error 1<br>> make: *** [check-recursive] Error 1<br><br><br>Please send us your (compressed) config.log as well as the output of the <br>following commands:<br><br># cd <ppl-build-dir><br># cd tests/Concrete_Expression<br># PPL_NOISY_TESTS=1 ./polyhedron1<br># PPL_NOISY_TESTS=1
./polyhedron2<br><br>Enea.<br><br></div></div>
</div></body></html>