rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

don't use env::current_dir() in miri

Browse Source
This commit is contained in:
Bennet Bleßmann
2024-07-06 03:42:13 +02:00
parent 6575b1b573
commit 52fa51853e
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/mod.rs
View File

@@ -110,7 +110,11 @@ impl LoadContext {
#[inline] #[inline]
fn current_dir() -> PathBuf { fn current_dir() -> PathBuf {
if !cfg!(miri) {
env::current_dir().unwrap_or(PathBuf::from("./")) env::current_dir().unwrap_or(PathBuf::from("./"))
} else {
PathBuf::from("./")
}
} }
include!(concat!(env!("OUT_DIR"), "/libraries.rs")); include!(concat!(env!("OUT_DIR"), "/libraries.rs"));