michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(util/lean_path): allow 'import dirname' as shorthand for 'import dirname.default'

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-07-20 19:58:16 -07:00
parent 9c499e723f
commit c02629c76d
1 changed files with 17 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
src/util/lean_path.cpp
View file

@ -8,12 +8,27 @@ Author: Leonardo de Moura
#include <cstdlib>
#include <fstream>
#include <vector>
#include <sys/types.h>
#include <sys/stat.h>
#include "util/exception.h"
#include "util/sstream.h"
#include "util/name.h"
#include "util/optional.h"
#ifndef LEAN_DEFAULT_MODULE_FILE_NAME
#define LEAN_DEFAULT_MODULE_FILE_NAME "default"
#endif
namespace lean {
static std::string g_default_file_name(LEAN_DEFAULT_MODULE_FILE_NAME);
bool is_directory(char const * pathname) {
struct stat info;
if (stat(pathname, &info) != 0 )
return false; // failed to access pathname
return info.st_mode & S_IFDIR;
}
#if defined(LEAN_WINDOWS)
// Windows version
#include <windows.h>
@ -43,10 +58,8 @@ static std::string get_exe_location() {
}
#else
// Linux version
#include <sys/types.h>
#include <unistd.h>
#include <string.h>
#include <sys/stat.h>
#include <limits.h> // NOLINT
#include <stdio.h>
static char g_path_sep = ':';
@ -200,6 +213,8 @@ bool is_known_file_ext(std::string const & fname) {
optional<std::string> check_file(std::string const & path, std::string const & fname, char const * ext = nullptr) {
std::string file = path + g_sep + fname;
if (is_directory(file.c_str()))
file += g_sep + g_default_file_name;
if (ext)
file += ext;
std::ifstream ifile(file);