Use boost instead of mkdir -p if available

This saves a lot of time if you're generating a large tree.

Author: smowton

src/config.inc

@@ -11,6 +11,8 @@ BUILD_ENV = AUTO
 #CXXFLAGS += -O2 -DNDEBUG
 #CXXFLAGS += -O0 -g
 
+LIBS=-lboost_filesystem -lboost_system
+
 # If GLPK is available; this is used by goto-instrument and musketeer.
 #LIB_GLPK = -lglpk
 

src/util/file_util.cpp

@@ -32,6 +32,10 @@ Date: January 2012
 #define pclose _pclose
 #endif
 
+#ifdef USE_BOOST
+#include <boost/filesystem.hpp>
+#endif
+
 #include "file_util.h"
 
 
@@ -238,10 +242,14 @@ void  fileutl_create_directory(std::string const&  pathname)
 # if defined(WIN32)
     std::system((std::string("mkdir \"") + pathname + "\"").c_str());
 # elif defined(__linux__) || defined(__APPLE__)
+#ifdef USE_BOOST
+  boost::filesystem::create_directories(pathname);
+#else
   auto ignore = std::system(
         (std::string("mkdir -p \"") + pathname + "\"").c_str()
         );
   (void)ignore;
+#endif
 # else
 #   error "Unsuported platform."
 # endif