From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 15 Aug 2014 00:08:02 +0000 (+0200)
Subject: Added Frontend "+/" filename syntax for files from proc_share_dir
X-Git-Tag: yosys-0.4~257
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8ff71b5ae506306d7981eb118874cd4f407b2bf8;p=yosys.git

Added Frontend "+/" filename syntax for files from proc_share_dir
---

diff --git a/kernel/register.cc b/kernel/register.cc
index 868dbb949..a9e21e6dd 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -339,8 +339,11 @@ void Frontend::extra_args(FILE *&f, std::string &filename, std::vector<std::stri
 				last_here_document += buffer;
 			}
 			f = fmemopen((void*)last_here_document.c_str(), last_here_document.size(), "r");
-		} else
+		} else {
+			if (filename.substr(0, 2) == "+/")
+				filename = proc_share_dirname() + filename.substr(1);
 			f = fopen(filename.c_str(), "r");
+		}
 		if (f == NULL)
 			log_cmd_error("Can't open input file `%s' for reading: %s\n", filename.c_str(), strerror(errno));