From e40ef9f6c583b77df97f0d94db5c03defc7d0cd9 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 7 Oct 2014 13:36:32 -0700 Subject: [PATCH] feat(util/lean_path.cpp): add "exe_path/../lib/lean" to LEAN_PATH Related issue: #223 --- src/util/lean_path.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/util/lean_path.cpp b/src/util/lean_path.cpp index be55a381c..3691d3f02 100644 --- a/src/util/lean_path.cpp +++ b/src/util/lean_path.cpp @@ -125,6 +125,8 @@ void init_lean_path() { std::string exe_path = get_path(get_exe_location()); *g_lean_path += g_path_sep; *g_lean_path += exe_path + g_sep + ".." + g_sep + "library"; + *g_lean_path += g_path_sep; + *g_lean_path += exe_path + g_sep + ".." + g_sep + "lib" + g_sep + "lean"; } else { *g_lean_path = r; }