<div dir="ltr">Thanks Satish!<div><br></div><div>A</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Sep 25, 2013 at 12:34 PM, Satish Balay <span dir="ltr"><<a href="mailto:balay@mcs.anl.gov" target="_blank">balay@mcs.anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Attached is the patch for this..<br>
<span class="HOEnZb"><font color="#888888"><br>
Satish<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Wed, 25 Sep 2013, Satish Balay wrote:<br>
<br>
> perhaps the appropriate thing is to move the 'fenv.h' from the current<br>
> location to this new test into config/BuildSystem/config/headers.py<br>
> [i.e this code would add fenv.h header if the test is successful]<br>
><br>
> Satish<br>
><br>
> On Wed, 25 Sep 2013, Aron Ahmadia wrote:<br>
><br>
> > Hi folks,<br>
> ><br>
> > I'm working on a Cygwin64 port of PETSc and I have a question about doing a<br>
> > specific disable in BuildSystem based on a failing link.<br>
> ><br>
> > The Cygwin folks provide an fenv.h implementation that (as far as I can<br>
> > tell), is currently broken due to an undefined FE_DFL_ENV variable.  My<br>
> > inclination is to disable this functionality in PETSc by declaring that<br>
> > fenv.h is unavailable if a simple link test fails.  I tried to write a test<br>
> > like this (in Configure.py)<br>
> ><br>
> > def configureCygwin(self):<br>
> >   '''Cygwin specific stuff'''<br>
> >   # detect problem with missing FE_DFL_ENV symbol in Cygwin64<br>
> >   if not self.checkLink('#include <fenv.h>', 'fesetenv(FE_DFL_ENV)'):<br>
> >       self.headers.headers.remove('fenv.h')<br>
> ><br>
> ><br>
> > I don't think it worked.  Has anybody had experience with *disabling*<br>
> > functionality in BuildSystem?  Should we be less optimistic about having<br>
> > the header and only enable it if the test passes?  Where would it go?<br>
> ><br>
> > Cheers,<br>
> > Aron<br>
> ><br>
><br>
><br>
</div></div></blockquote></div><br></div>