compile gflags correctly, remove google namespace, use gflags instead, port all code using it

This commit is contained in:
Laurent Perron
2015-03-03 14:31:06 +01:00
parent 4376d7d052
commit 2a6f8942cc
47 changed files with 225 additions and 63 deletions

View File

@@ -500,7 +500,7 @@ int FapSolverSoft(const std::map<int, FapVariable>& data_variables,
int main(int argc, char** argv) {
google::ParseCommandLineFlags(&argc, &argv, true);
gflags::ParseCommandLineFlags(&argc, &argv, true);
CHECK(!FLAGS_directory.empty()) << "Requires --directory=<directory name>";