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

[Sergey Oboguev]

See the attachments.




________________________________
From: Enea Zaffanella <zaffanella at cs.unipr.it>
To: The Parma Polyhedra Library developers' list <ppl-devel at cs.unipr.it>
Cc: Sergey Oboguev <oboguev at 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 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120511/de4860e1/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 199575 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120511/de4860e1/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p1.out
Type: application/octet-stream
Size: 1103 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120511/de4860e1/attachment-0001.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p2.out
Type: application/octet-stream
Size: 627 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120511/de4860e1/attachment-0002.obj>