diff options
| author | Andreas Boll <[email protected]> | 2013-01-18 15:31:57 +0100 |
|---|---|---|
| committer | Andreas Boll <[email protected]> | 2013-01-19 23:50:39 +0100 |
| commit | 410b58c7bfcebbc866d2dc4ab32c6f23b55d383b (patch) | |
| tree | 347106a99e8ba930b2ac4a50616e969e98eac9d1 /docs/utilities.html | |
| parent | f9f5c92f734c517c1bd486f5a3b1931ea6f871a5 (diff) | |
build: require python module libxml2
configure should warn if libxml2 is not found.
libxml2 is needed by glapi/gen.
Fixes error during build in src/mapi/glapi/gen:
ImportError: No module named libxml2
NOTE: This is a candidate for the 9.0 branch.
Bugzilla: https://bugs.freedesktop.org/show_bug.cgi?id=31598
Reviewed-by: Matt Turner <[email protected]>
Reviewed-by: Kenneth Graunke <[email protected]>
Diffstat (limited to 'docs/utilities.html')
0 files changed, 0 insertions, 0 deletions