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

[Enea Zaffanella]

On 07/22/2013 03:29 AM, Carl Reynolds wrote:
> 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
>> <mailto: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.

Please have a look to the following thread, which could be related:

http://www.cs.unipr.it/pipermail/ppl-devel/2012-November/018558.html

Cheers,
Enea.