mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-19 04:13:39 +00:00
Code Activity

Observe $TMPDIR variable when creating tmp files

Browse source 
POSIX defines $TMPDIR as containing the pathname of the directory where
programs can create temporary files. On most systems, this variable points to
"/tmp". However, on some systems it can point to a different location.
Without respecting this variable, yosys fails to run on such systems.

Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de>
This commit is contained in:
Mohamed A. Bamakhrama 2022-05-23 22:21:45 +02:00 • committed by Miodrag Milanovic
parent f9b6fe521d
commit 1822be8792
6 changed files with 37 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

31
kernel/yosys.cc
View file

@ -376,6 +376,35 @@ int run_command(const std::string &command, std::function<void(const std::string
}
#endif
// POSIX defines `TMPDIR` as the pathname of the directory
// where programs can create temporary files. On most systems,
// it points to '/tmp'. However, on some systems it can be a different
// location
// Source: https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap08.html#tag_08_03
std::string get_base_tmpdir()
{
// We cache the directory name in a static variable here
// for faster calls later
static std::string tmpdir;
if (!tmpdir.empty()) {
return tmpdir;
}
char * var = std::getenv("TMPDIR");
if (NULL == var) {
// if the variable is not set, then use '/tmp'
tmpdir.assign("/tmp");
} else {
tmpdir.assign(var);
// We return the directory name without the trailing '/'
if (tmpdir.back() == '/') {
tmpdir.pop_back();
}
}
return tmpdir;
}
std::string make_temp_file(std::string template_str)
{
#if defined(__wasm)
@ -384,7 +413,7 @@ std::string make_temp_file(std::string template_str)
static size_t index = 0;
template_str.replace(pos, 6, stringf("%06zu", index++));
#elif defined(_WIN32)
if (template_str.rfind("/tmp/", 0) == 0) {
if (template_str.rfind(get_base_tmpdir() + "/", 0) == 0) {
# ifdef __MINGW32__
char longpath[MAX_PATH + 1];
char shortpath[MAX_PATH + 1];