aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2020-04-10 10:38:40 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2020-04-10 10:38:40 +0200
commit0d789c5a3b66e26a9a354ecce85a47836a242e97 (patch)
tree213d36ddbe5901ae8de2d22de2df193c87cf9fe0 /kernel
parent7c06cb615745fce4490c1d5b9dcf48d40fa00445 (diff)
downloadyosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.tar.gz
yosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.tar.bz2
yosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.zip
Support custom PROGRAM_PREFIX
Diffstat (limited to 'kernel')
-rw-r--r--kernel/yosys.cc11
-rw-r--r--kernel/yosys.h1
2 files changed, 11 insertions, 1 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index b416c2b74..01131601f 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -835,7 +835,7 @@ std::string proc_share_dirname()
std::string proc_share_path = proc_self_path + "share/";
if (check_file_exists(proc_share_path, true))
return proc_share_path;
- proc_share_path = proc_self_path + "../share/yosys/";
+ proc_share_path = proc_self_path + "../share/" + proc_program_prefix()+ "yosys/";
if (check_file_exists(proc_share_path, true))
return proc_share_path;
# ifdef YOSYS_DATDIR
@@ -848,6 +848,15 @@ std::string proc_share_dirname()
}
#endif
+std::string proc_program_prefix()
+{
+ std::string program_prefix;
+#ifdef YOSYS_PROGRAM_PREFIX
+ program_prefix = YOSYS_PROGRAM_PREFIX;
+#endif
+ return program_prefix;
+}
+
bool fgetline(FILE *f, std::string &buffer)
{
buffer = "";
diff --git a/kernel/yosys.h b/kernel/yosys.h
index 6aed7c96a..5ad47054c 100644
--- a/kernel/yosys.h
+++ b/kernel/yosys.h
@@ -324,6 +324,7 @@ namespace ID = RTLIL::ID;
RTLIL::Design *yosys_get_design();
std::string proc_self_dirname();
std::string proc_share_dirname();
+std::string proc_program_prefix();
const char *create_prompt(RTLIL::Design *design, int recursion_counter);
std::vector<std::string> glob_filename(const std::string &filename_pattern);
void rewrite_filename(std::string &filename);