From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 01:42:13 +0000 (+0200)
Subject: don't use env::current_dir() in miri
X-Git-Tag: v0.10.0~127^2~35
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=52fa51853e589ea2b49210c261e14d9b110d56a9;p=scryer-prolog.git

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

diff --git a/src/machine/mod.rs b/src/machine/mod.rs
index 5326c83c..eee60b8e 100644
--- a/src/machine/mod.rs
+++ b/src/machine/mod.rs
@@ -110,7 +110,11 @@ impl LoadContext {
 
 #[inline]
 fn current_dir() -> PathBuf {
+    if !cfg!(miri) {
     env::current_dir().unwrap_or(PathBuf::from("./"))
+    } else {
+        PathBuf::from("./")
+    }
 }
 
 include!(concat!(env!("OUT_DIR"), "/libraries.rs"));