On 06/17/2015 01:07 PM, Tom Lane wrote:
Keith Fiske <ke...@omniti.com> writes:
The current HEAD of postgres in the git repo is not building when using
"make world". It's been like this for about a month or so that I've been
aware of. I didn't really need the world build so been making due without
it. At PGCon now, though, so asked Bruce and he said this error was due to
my not having the sgml tools installed, which should not be a requirement.
Dunno about "about a month"; this seems to have come in with commit
5d93ce2d0c619ba1 from last October. But yes, that commit moved the
goalposts in terms of what is required to build the documentation.
You now must have xmllint which is something supplied by libxml2.
I am not sure this is a good thing, especially since xmllint is only
doing checking, which is of little use to consumers of the documentation.
Maybe if xmllint is not found, we should just skip the checking steps
rather than hard failing?
If they are building from source, this does not seem to be an
unrealistic package to require.
JD
regards, tom lane
--
Command Prompt, Inc. - http://www.commandprompt.com/ 503-667-4564
PostgreSQL Centered full stack support, consulting and development.
Announcing "I'm offended" is basically telling the world you can't
control your own emotions, so everyone else should do it for you.
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers
