From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 30 Apr 2018 00:15:54 +0000 (-0700)
Subject: Make libxml2 a required build dependency.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=51f6adf4ab3e07cc3073ea572117b5dc2862c6e6;hp=51f6adf4ab3e07cc3073ea572117b5dc2862c6e6;p=pspp

Make libxml2 a required build dependency.

This makes the logic for what is required versus optional much simpler.  An
upcoming commit will introduce a new libxml2 user.
---