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

fix(util/lean_path.cpp): get_exe_location follows symbolic link in OSX

Browse source 
Previously, we had different behaviors on Linux and OSX when
get_exe_location finds a location of executable:

 - Linux: follow symbolic link
 - OSX: not follow symbolic link
This commit is contained in:
Soonho Kong 2014-09-10 07:38:49 -07:00
parent 9ac5f28b03
commit 8fd938e142
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/util/lean_path.cpp
View file

@ -52,15 +52,19 @@ static std::string get_exe_location() {
// OSX version
#include <mach-o/dyld.h>
#include <limits.h>
#include <stdlib.h>
static char g_path_sep = ':';
static char g_sep = '/';
static char g_bad_sep = '\\';
static std::string get_exe_location() {
char buf[PATH_MAX];
char buf1[PATH_MAX];
char buf2[PATH_MAX];
uint32_t bufsize = PATH_MAX;
if (_NSGetExecutablePath(buf, &bufsize) != 0)
if (_NSGetExecutablePath(buf1, &bufsize) != 0)
throw exception("failed to locate Lean executable location");
return std::string(buf);
if (!realpath(buf1, buf2))
throw exception("failed to resolve symbolic links in " + std::string(buf1));
return std::string(buf2);
}
#else
// Linux version