Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-23 Thread Peter Eisentraut
On 6/23/15 1:06 AM, Keith Fiske wrote: > > > > > > On Sun, Jun 21, 2015 at 10:56 AM, Peter Eisentraut > wrote: > > On 6/18/15 8:54 AM, Tom Lane wrote: > > Sure; the point is that libxml2 has suddenly been reclassified as a > > docum

Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-22 Thread Fabien COELHO
libxml2 has been a required documentation build tool since PostgreSQL 9.0. The only thing that's new is that xmllint is in a different subpackage on some systems. So just install that and you're all set for the foreseeable future. Well, something is different in 9.5. On this same system (Lin

Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-22 Thread Keith Fiske
On Sun, Jun 21, 2015 at 10:56 AM, Peter Eisentraut wrote: > On 6/18/15 8:54 AM, Tom Lane wrote: > > Sure; the point is that libxml2 has suddenly been reclassified as a > > documentation build tool, which is at least a surprising categorization. > > libxml2 has been a req

Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-21 Thread Peter Eisentraut
On 6/18/15 8:54 AM, Tom Lane wrote: > Sure; the point is that libxml2 has suddenly been reclassified as a > documentation build tool, which is at least a surprising categorization. libxml2 has been a required documentation build tool since PostgreSQL 9.0. The only thing that's new is that xmllint

Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-18 Thread Tom Lane
Peter Eisentraut writes: > On 6/17/15 3:35 PM, Keith Fiske wrote: >> 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 i

Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-18 Thread Alvaro Herrera
Peter Eisentraut wrote: > On 6/17/15 3:35 PM, Keith Fiske wrote: > > 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

Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-17 Thread Peter Eisentraut
On 6/17/15 3:35 PM, Keith Fiske wrote: > 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 aske

Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-17 Thread Joshua D. Drake
On 06/17/2015 01:07 PM, Tom Lane wrote: Keith Fiske 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 no

Re: [HACKERS] 9.5 make world failing due to sgml tools missing

2015-06-17 Thread Tom Lane
Keith Fiske 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 sai