[PPL-devel] Make PPL on Macintosh - 2 Tests failed

[Carl Reynolds]

I downloaded ppl-1.0. When I tried to compile it complained about redefinition of 'class std::numeric_limits because I'm using gmp-5.1.2. I found Chia-Hsun Cheng's description of this problem and his fix for it at http://www.cs.unipr.it/pipermail/ppl-devel/2013-January/018590.html and for response that his fix has been added to  http://bugseng.com/products/ppl/download/ftp/snapshots/.

I downloaded ppl-1.1pre9. It compiled OK, but when I ran 'make check' It gave the error
> make  check-TESTS
> make[5]: Entering directory `/Users/carlreynolds/src/ppl-1.1pre9/tests/Concrete_Expression'
> PASS: C_Expr
> PASS: linearform1
> PASS: linearize
> PASS: digitalfilters1
> PASS: bdshape1
> PASS: bdshape2
> PASS: octagonalshape1
> PASS: octagonalshape2
> 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


I'm building ppl on 
> uname -a
> Darwin xxxx.xxxx 11.4.2 Darwin Kernel Version 11.4.2: Thu Aug 23 16:25:48 PDT 2012; root:xnu-1699.32.7~1/RELEASE_X86_64 x86_64




Please let me know if I can help you in any other way.



Carl.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130721/2c0324d9/attachment.htm>