Make PPL on Macintosh - 2 Tests failed
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@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.
On 07/22/13 03:29, 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@cs.unipr.it <mailto:ppl-devel@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.
Hello Carl. Thanks for the report. Can you please send the `config.log' file created by the `configure' script? Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
Roberto and Enea, Thanks for your quick responses. I looked at the link Enea referenced (http://www.cs.unipr.it/pipermail/ppl-devel/2012-November/018558.html). It said that there is a problem compiling PPL with an LLVM compiler masquerading as gcc. I checked the version of my gcc compiler (the one that came with XCode on my Mac) and, sure enough, it was an LLVM compiler masquerading as gcc. So, I downloaded and installed a copy of gcc-4.7.1, did a 'make clean', 'make', 'make check' and it ran like a charm. Thanks for your help. Carl. On 7/22/13 3:10 AM, Roberto Bagnara wrote:
On 07/22/13 03:29, 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@cs.unipr.it <mailto:ppl-devel@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. Hello Carl. Thanks for the report. Can you please send the `config.log' file created by the `configure' script? Kind regards,
Roberto
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@cs.unipr.it <mailto:ppl-devel@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.
participants (4)
-
Carl Reynolds -
Enea Zaffanella -
hyperbole
-
Roberto Bagnara