Fixed get_share_file_name() for installed yosys

diff --git a/kernel/driver.cc b/kernel/driver.cc
index d726639c4fafe6114e65771ad47b0305f84a053a..1e8b86a361d16af61c71f3ab1d4dcd2ba8f7962a 100644 (file)
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -430,12 +430,13 @@ std::string get_share_file_name(std::string file)
                log_error("Can't find file `%s': reading of /proc/self/exe failed!\n", file.c_str());
 
        buffer[buflen] = 0;
+       const char *dir = dirname(buffer);
 
-       std::string newfile_inplace = stringf("%s/share/%s", dirname(buffer), file.c_str());
+       std::string newfile_inplace = stringf("%s/share/%s", dir, file.c_str());
        if (access(newfile_inplace.c_str(), F_OK) == 0)
                return newfile_inplace;
 
-       std::string newfile_system = stringf("%s/../share/yosys/%s", dirname(buffer), file.c_str());
+       std::string newfile_system = stringf("%s/../share/yosys/%s", dir, file.c_str());
        if (access(newfile_system.c_str(), F_OK) == 0)
                return newfile_system;