]> Repositorios git - scryer-prolog.git/commitdiff
don't use env::current_dir() in miri
authorBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 01:42:13 +0000 (03:42 +0200)
committerBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 01:53:22 +0000 (03:53 +0200)
src/machine/mod.rs

index 5326c83cf5d8579e1fadd1dc3648fa940bdb4a8a..eee60b8e5513e3c705891efa64d1c97170da8c15 100644 (file)
@@ -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"));