Merge pull request #2864 from jimis/libxml2_configure_fix
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Wed, 29 Aug 2018 07:55:27 +0000 (09:55 +0200)
committerGitHub <noreply@github.com>
Wed, 29 Aug 2018 07:55:27 +0000 (09:55 +0200)
commit853517be0d999507e3aaf1d583f06423ec1031f4
treed8de62671456163bce0a522a9fd0f92b4cdfafd2
parentc6bbe9f6737ec8611c1ab6146a1d0d32d9365eea
parent89f0b0ce85d4fdfc9f137fcdb7a9be5d9ceb94a7
Merge pull request #2864 from jimis/libxml2_configure_fix

Add --with-libxml2 option to configure.