From 91d4011aa8637f581dfd2318f27eaf31a5734880 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <t-wnawrocki@microsoft.com>
Date: Wed, 2 Jun 2021 23:58:45 -0400
Subject: [PATCH] chore: Emscripten realpath

---
 src/runtime/io.cpp | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/runtime/io.cpp b/src/runtime/io.cpp
index d4266331d5..111e9401b0 100644
--- a/src/runtime/io.cpp
+++ b/src/runtime/io.cpp
@@ -449,9 +449,7 @@ extern "C" obj_res lean_io_getenv(b_obj_arg env_var, obj_arg) {
 }
 
 extern "C" obj_res lean_io_realpath(obj_arg fname, obj_arg) {
-#if defined(LEAN_EMSCRIPTEN)
-    return io_result_mk_ok(fname);
-#elif defined(LEAN_WINDOWS)
+#if defined(LEAN_WINDOWS)
     constexpr unsigned BufferSize = 8192;
     char buffer[BufferSize];
     DWORD retval = GetFullPathName(string_cstr(fname), BufferSize, buffer, nullptr);
@@ -467,8 +465,7 @@ extern "C" obj_res lean_io_realpath(obj_arg fname, obj_arg) {
         return io_result_mk_ok(mk_string(buffer));
     }
 #else
-    constexpr unsigned BufferSize = 8192;
-    char buffer[BufferSize];
+    char buffer[PATH_MAX];
     char * tmp = realpath(string_cstr(fname), buffer);
     if (tmp) {
         obj_res s = mk_string(tmp);