From c0121b1a9bdd4b40ff8e6c04ed6133d6260227f7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20B=C3=B6ckenkamp?= Date: Wed, 31 Jul 2013 18:10:58 +0200 Subject: [PATCH] doc/how-to-build: dependency libmysqlclient-dev libmysqlclient-dev (or libmariadbclient-dev) is needed to build Fail*. A running MySQL/MariaDB server to talk to is needed for the fault-space pruning tools and the DatabaseCampaign, too, but that's a runtime dependency. Change-Id: I1f7fbdaf20b49370039e8d27a07a8785e0f052b5 --- doc/how-to-build.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/how-to-build.txt b/doc/how-to-build.txt index 608dacc4..f7093d78 100644 --- a/doc/how-to-build.txt +++ b/doc/how-to-build.txt @@ -4,6 +4,7 @@ Additional libraries/packages/tools needed for Fail*: Required for Fail*: ********************************************************************** + - libmysqlclient-dev or libmariadbclient-dev - libprotobuf-dev - libpcl1-dev - libboost-thread-dev