<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 1 September 2016 at 23:05, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov" target="_blank">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id="gmail-:pe" class="gmail-a3s gmail-aXjCH gmail-m156e75b719cdcd4a">   I didn't have a solution to this<br></div></blockquote></div><br><div class="gmail_extra">! These lines should be added to $PETSC_DIR/include/petsc/finclude/petscsysdef.h</div><div class="gmail_extra">#if defined(PETSC_USE_REAL_SINGLE)</div><div class="gmail_extra">integer, parameter :: PETSC_REAL_KIND = selected_real_kind(5)</div><div class="gmail_extra">#elif defined(PETSC_USE_REAL_DOUBLE)</div><div class="gmail_extra">integer, parameter :: PETSC_REAL_KIND = selected_real_kind(10)</div><div class="gmail_extra">#elif defined(PETSC_USE_REAL___FLOAT128)</div><div class="gmail_extra">integer, parameter :: PETSC_REAL_KIND = selected_real_kind(20)</div><div class="gmail_extra">#endif</div><div class="gmail_extra"><br></div><div class="gmail_extra">! User code should write literals this way</div><div class="gmail_extra">PetscReal x</div><div class="gmail_extra">x = 0.123456789123456789123456789_PETSC_REAL_KIND</div><div class="gmail_extra"></div><div><br></div><br clear="all"><div><br></div>-- <br><div class="gmail_signature">Lisandro Dalcin<br>============<br>Research Scientist<br>Computer, Electrical and Mathematical Sciences & Engineering (CEMSE)<br>Extreme Computing Research Center (ECRC)<br>King Abdullah University of Science and Technology (KAUST)<br><a href="http://ecrc.kaust.edu.sa/" target="_blank">http://ecrc.kaust.edu.sa/</a><br><br>4700 King Abdullah University of Science and Technology<br>al-Khawarizmi Bldg (Bldg 1), Office # 0109<br>Thuwal 23955-6900, Kingdom of Saudi Arabia<br><a href="http://www.kaust.edu.sa" target="_blank">http://www.kaust.edu.sa</a><br><br>Office Phone: +966 12 808-0459</div>
</div></div>