diff --git a/README.md b/README.md index 829f3c8447e10ac52da557d082f7598efd1b2af4..938f1fdb50e531c2b1f090c598e957fc6616607f 100644 --- a/README.md +++ b/README.md @@ -30,6 +30,7 @@ shell scripts. * `libiberty-dev` * `libcppunit-dev` * `libtclap-dev` + * `libxml2-dev` * `doxygen` (optional for documentation generation) * `graphviz` (optional for documentation generation and automata visualizations)