diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2025-11-24 20:33:21 -0800 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2025-11-24 20:33:45 -0800 |
| commit | 65e52a0876a95697045214a6f184635645eb7345 (patch) | |
| tree | d3e66275356efb6ce329bd572e23d2f6f9a6d170 /math/lean4/files/patch-src_runtime_io.cpp | |
| parent | dns/subfinder: update 2.9.0 → 2.10.1 (diff) | |
math/lean4: Update patches
Diffstat (limited to 'math/lean4/files/patch-src_runtime_io.cpp')
| -rw-r--r-- | math/lean4/files/patch-src_runtime_io.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/math/lean4/files/patch-src_runtime_io.cpp b/math/lean4/files/patch-src_runtime_io.cpp index 2e185dfb816c..8fe17f4e138b 100644 --- a/math/lean4/files/patch-src_runtime_io.cpp +++ b/math/lean4/files/patch-src_runtime_io.cpp @@ -1,12 +1,11 @@ ---- src/runtime/io.cpp.orig 2025-05-06 09:12:17 UTC +--- src/runtime/io.cpp.orig 2025-11-18 02:29:21 UTC +++ src/runtime/io.cpp -@@ -1253,7 +1253,13 @@ extern "C" LEAN_EXPORT obj_res lean_io_app_path(obj_ar +@@ -1365,7 +1365,13 @@ extern "C" LEAN_EXPORT obj_res lean_io_app_path(obj_ar char dest[PATH_MAX]; memset(dest, 0, PATH_MAX); pid_t pid = getpid(); -- snprintf(path, PATH_MAX, "/proc/%d/exe", pid); +#if defined(__linux__) -+ snprintf(path, PATH_MAX, "/proc/%d/exe", pid); + snprintf(path, PATH_MAX, "/proc/%d/exe", pid); +#elif defined(__FreeBSD__) + snprintf(path, PATH_MAX, "/proc/%d/file", pid); +#else |