use vite

client/public/bin

@@ -0,0 +1 @@
+/home/alex/Projects/lean4/build/release/stage1/bin

index.html

@@ -22,6 +22,102 @@
       +49 211 81-12173<br />
     </p>
   </noscript>
+  <script>
+
+    const IO = {
+      _resolveGetLine: null,
+      _resolveRead: null,
+      _readPointer: null,
+      _nbytes: 0,
+      bufferStdIn : "",
+      putStrListeners: [],
+      listenPutStr(callback) {
+        this.putStrListeners.push(callback)
+      },
+      putStr(str) {
+        console.log('PUTSTR' + str)
+        str = str.split('\n')[2]
+        this.putStrListeners.forEach((listener) => {
+          listener(str)
+        })
+      },
+      async getLine() {
+        return new Promise((resolve, reject) => {
+            this._resolveGetLine = resolve
+            this.flushStdIn();
+        });
+      },
+      async read(ptr, nbytes) {
+        this._nbytes = nbytes
+        this._readPointer = ptr
+        return new Promise((resolve, reject) => {
+            this._resolveRead = resolve
+            this.flushStdIn();
+        });
+      },
+      flushStdIn() {
+        if(this._resolveGetLine) {
+          var lineBreak = this.bufferStdIn.indexOf("\n")
+          if (lineBreak != -1) {
+            this._resolveGetLine(stringToNewUTF8(this.bufferStdIn.substring(0,lineBreak+1)))
+            this.bufferStdIn = this.bufferStdIn.substring(lineBreak+1)
+            this._resolveGetLine = null
+          }
+        }
+        if(this._resolveRead) {
+          // console.log(`read: ${this.bufferStdIn}`)
+          stringToUTF8(this.bufferStdIn, this._readPointer, this._nbytes);
+          this._resolveRead()
+          this.bufferStdIn = ""
+          this._resolveRead = null
+        }
+      },
+      putLine(data) {
+        console.log("Client: ",data)
+        const str = data + '\r\n'
+        const byteLength = lengthBytesUTF8(str)
+        this.bufferStdIn += `Content-Length: ${byteLength}\r\n\r\n` + str
+        this.flushStdIn();
+      }
+    }
+
+
+    var input = ""
+    var i = 0;
+
+    function submit (ev) {
+    ev.preventDefault()
+    return false;
+    }
+
+    var stdoutBuffer = ""
+    var stderrBuffer = ""
+
+
+    var Module = {
+        "arguments": ["--worker"],
+        "preRun": function() {
+        function stdin() {
+            if (i < input.length) {
+              i++;
+              return input.charCodeAt(i);// Return ASCII code of character, or null if no input
+            } else {
+              return null
+            }
+        }
+
+        function stdout(asciiCode) {
+          stdoutBuffer += String.fromCharCode(asciiCode)
+        }
+
+        function stderr(asciiCode) {
+          stderrBuffer += String.fromCharCode(asciiCode)
+        }
+
+        FS.init(stdin, stdout, stderr);
+    }};
+    </script>
+    <script src="bin/lean.js"></script>
   <script type="module" src="/client/src/index.tsx"></script>
 </body>
 

vite.config.ts

@@ -12,6 +12,16 @@ export default defineConfig({
         // svgr options
       },
     }),
+    {
+      name: "configure-response-headers",
+      configureServer: (server) => {
+        server.middlewares.use((_req, res, next) => {
+          res.setHeader("Cross-Origin-Embedder-Policy", "require-corp");
+          res.setHeader("Cross-Origin-Opener-Policy", "same-origin");
+          next();
+        });
+      },
+    },
     viteStaticCopy({
       targets: [
         {
@@ -22,6 +32,9 @@ export default defineConfig({
     })],
   publicDir: "client/public",
   server: {
+    watch: {
+      ignored: "**/bin/**'"
+    },
     port: 3000,
     proxy: {
       '/websocket': {