See the attachments. ________________________________ From: Enea Zaffanella <zaffanella@cs.unipr.it> To: The Parma Polyhedra Library developers' list <ppl-devel@cs.unipr.it> Cc: Sergey Oboguev <oboguev@yahoo.com> Sent: Fri, May 11, 2012 6:13:56 AM Subject: Re: [PPL-devel] PPL make check fails (OS X) On 05/11/2012 06:00 AM, Sergey Oboguev wrote:
When building ppl-0.12.1 on OS X,
tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error 1 make: *** [check-recursive] Error 1
Please send us your (compressed) config.log as well as the output of the following commands: # cd <ppl-build-dir> # cd tests/Concrete_Expression # PPL_NOISY_TESTS=1 ./polyhedron1 # PPL_NOISY_TESTS=1 ./polyhedron2 Enea.