added create_directory(path)

This replaces mkdir(...), which differs on Unix and Windows.

Author: Daniel Kroening

src/util/file_util.cpp

@@ -193,3 +193,13 @@ bool is_directory(const std::string &path)
 
 #endif
 }
+
+bool create_directory(const std::string &path)
+{
+#ifdef _WIN32
+  return _mkdir(path.c_str()) == 0;
+#else
+  // the umask matches what std::filesystem::create_directory does
+  return mkdir(path.c_str(), 0777) == 0;
+#endif
+}

src/util/file_util.h

@@ -27,4 +27,9 @@ std::string concat_dir_file(const std::string &directory,
 // C++17 will allow us to use std::filesystem::is_directory
 bool is_directory(const std::string &path);
 
+/// Create a directory with given path
+/// C++17 will allow us to use std::filesystem::create_directory
+/// \return true iff the directory was created
+bool create_directory(const std::string &path);
+
 #endif // CPROVER_UTIL_FILE_UTIL_H