Danek Duvall wrote:
> Problems on Solaris after this patch, too. At least in the compilation
> mode I've been using, isinf is not found by autoconf (though isnan is). So
> we come into this section of macros.h with HAVE_ISNAN defined, but not
> HAVE_ISINF. Since they're both supposed to be macros in math.h, changing
>
> ifndef HAVE_ISINF
>
> to
>
> if !defined(HAVE_ISINF) && !defined(isinf)
>
> causes the compile to succeed for me, and the testsuite passes as well.
> I've done the same thing for isnan, since it's also supposed to be a macro.
> I've attached the patch I used.
>
> I'll note that the info page on autoconf talks about isnan and isinf a bit,
> and has a suggestion for how to deal with them. I know there's been a
> bunch of back-and-forth on this here, but I don't think anyone's raised
> that source specifically.
Although this workaround would work, I think we need to fix configure.
It currently checks for isinf and isnan without any header files, while
the manual page says that math.h is needed and linking with -lm.
I'll do it that way, please check after that patch if it works on your
system.
--
SUPERIMPOSE "England AD 787". After a few more seconds we hear hoofbeats in
the distance. They come slowly closer. Then out of the mist comes KING
ARTHUR followed by a SERVANT who is banging two half coconuts together.
"Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
