<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">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 <a href="http://www.cs.unipr.it/pipermail/ppl-devel/2013-January/018590.html">http://www.cs.unipr.it/pipermail/ppl-devel/2013-January/018590.html</a> and for response that his fix has been added to <span class="Apple-style-span" style="font-family: monospace; white-space: pre-wrap; "> </span><span class="Apple-style-span" style="font-family: monospace; white-space: pre-wrap; "><a href="http://bugseng.com/products/ppl/download/ftp/snapshots/">http://bugseng.com/products/ppl/download/ftp/snapshots/</a>.</span><div><span class="Apple-style-span" style="font-family: monospace; white-space: pre-wrap; "><br></span></div><div><span class="Apple-style-span" style="font-family: monospace; white-space: pre-wrap; ">I downloaded ppl-1.1pre9. It compiled OK, but when I ran 'make check' It gave the error</span></div><div><blockquote type="cite"><font class="Apple-style-span" color="#000000" face="monospace"><span class="Apple-style-span" style="white-space: pre-wrap;">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 <a href="mailto:ppl-devel@cs.unipr.it">ppl-devel@cs.unipr.it</a>
======================================
make[5]: *** [check-TESTS] Error 1</span></font>
</blockquote><div style="font-family: monospace; white-space: pre-wrap; "><br></div></div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; ">I'm building ppl on </div><div><blockquote type="cite"><font class="Apple-style-span" color="#000000" face="monospace"><span class="Apple-style-span" style="white-space: pre-wrap;">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</span></font><font class="Apple-style-span" face="monospace"><span class="Apple-style-span" style="white-space: pre-wrap;">
</span></font></blockquote><div style="font-family: monospace; white-space: pre-wrap; "><br></div></div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; ">Please let me know if I can help you in any other way.</div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; ">Carl.</div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; "><br></div><div style="font-family: monospace; white-space: pre-wrap; "><br></div></body></html>