[PPL-devel] PPL make check fails (OS X)

[Enea Zaffanella]

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 at 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.