Zdenek Kotala <Zdenek.Kotala@Sun.COM> writes:
> It seems to me that editline never distributed history.h file and
> HAVE_EDITLINE_HISTORY_H is nonsense. But I'm not sure.
I wouldn't count on that, in part because there are so many versions of
editline. On an OS X machine I see
$ ls -l /usr/include/*line*
/usr/include/editline:
total 16
-rw-r--r-- 1 root wheel 6882 Feb 19 2008 readline.h
/usr/include/readline:
total 16
lrwxr-xr-x 1 root wheel 22 Jul 23 11:31 history.h@ -> ../editline/readline.h
lrwxr-xr-x 1 root wheel 22 Jul 23 11:31 readline.h@ -> ../editline/readline.h
regards, tom lane
