 
            On 05/11/12 06:00, 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
Hi Sergey,
more details are required. Please send the config.log file created at configure time. Then you should try running the failing tests after having defined the environment variable PPL_NOISY_TESTS to "yes": send also the output you obtain. Thanks for reporting,
Roberto