---

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.