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

[Roberto Bagnara]

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

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

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it