17 lines
568 B
C++
17 lines
568 B
C++
--- src/runtime/io.cpp.orig 2026-02-24 00:20:30 UTC
|
|
+++ src/runtime/io.cpp
|
|
@@ -1390,7 +1390,13 @@ extern "C" LEAN_EXPORT obj_res lean_io_app_path() {
|
|
char dest[PATH_MAX];
|
|
memset(dest, 0, PATH_MAX);
|
|
pid_t pid = getpid();
|
|
+#if defined(__linux__)
|
|
snprintf(path, PATH_MAX, "/proc/%d/exe", pid);
|
|
+#elif defined(__FreeBSD__)
|
|
+ snprintf(path, PATH_MAX, "/proc/%d/file", pid);
|
|
+#else
|
|
+# error "Unknown platform"
|
|
+#endif
|
|
if (readlink(path, dest, PATH_MAX) == -1) {
|
|
return io_result_mk_error("failed to locate application");
|
|
} else {
|