Dear Roberto Bagnara,<div><br></div><div>I followed the provided link and downloaded ppl-1.1pre6 version. The compilation was fine and all tests </div><div>in "make check" passed. The build-up of gcc was successful as well.</div>
<div>Thanks for the fast response and kind help!</div><div><br></div><div><br></div><div>Dear Marco Bodrato,</div><div><br></div><div>Thanks for the notification that solves my confusion!</div><div><br></div><div>Best Regards,</div>
<div>-- chiahsun</div><div><div>    <br><br><div class="gmail_quote">2013/1/4 Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 01/03/13 12:47, Chia-Hsun Cheng wrote:<br>
</div><div><div class="h5"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
     2.  < Static data member name mismatches ><br>
          ppl-1.0/src/mp_std_bits.defs.<u></u>hh:72 and ppl-1.0/src/mp_std_bits.defs.<u></u>hh:133 defines<br>
  static const bool tininess_before = false;<br>
                                   ^^^^^^^^^^^^^^^^^<br>
          However, in<br>
          gmp-5.1.0/gmpxx.h:3302 and gmp-5.1.0/gmpxx.h:3339, there are<br>
  static const bool tinyness_before = false;<br>
                  ^^^^^^^^^^^^^^^^^^<br>
  Problem:<br>
  I am not sure if the two data member are the same. Since I commented out the whole block of<br>
  numeric_limits in ppl-1.0/src/mp_std_bits.defs.<u></u>hh in the last step, the member `tininess_before'<br>
  cannot be resolved.<br>
  Fix:<br>
  Finally, I add<br>
  static const bool tininess_before = false;<br>
  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^<u></u>^^^^^^^^^^^^<br>
  in gmp-5.1.0/gmpxx.h:3303 and gmp-5.1.0/gmpxx.h:3341<br>
  and add member initialization<br>
  const bool numeric_limits<T>::tininess_<u></u>before; \<br>
  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^<u></u>^^^^^^^^^^^^^^^^^^<br>
  in gmp-5.1.0/cxx/limits.cc:47<br>
  and rebuild the gmp library.<br>
  So, for PPL library, even if the code for numeric_limits is commented out, the declarations and object<br>
  code can be found from GMP library.<br>
</blockquote>
<br></div></div>
Dear Chia-Hsun,<br>
<br>
Marco Bodrato (thanks Marco!) made me notice I overlooked this part<br>
of your message.  Indeed this is a bug in the PPL: the right spelling<br>
is `tinyness_before' as correctly written in GMP.  I have just fixed<br>
the Git version of the PPL and a new PPL 1.1 snapshot release will soon<br>
be added to the location I already indicated.<div class="HOEnZb"><div class="h5"><br>
Kind regards,<br>
<br>
    Roberto<br>
<br>
-- <br>
     Prof. Roberto Bagnara<br>
<br>
Applied Formal Methods Laboratory - University of Parma, Italy<br>
mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a><br>
                              BUGSENG srl - <a href="http://bugseng.com" target="_blank">http://bugseng.com</a><br>
                              mailto:<a href="mailto:roberto.bagnara@bugseng.com" target="_blank">roberto.bagnara@<u></u>bugseng.com</a><br>
</div></div></blockquote></div><br></div></div>