You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thank you for raising this, I'll try to reproduce this on wsl. Last time I tested it on linux and it was OK, but we have made several updates since. I am not aware of it ever being tested on wsl
Running build_webdemo.sh does not generate an HTML file in build_webdemo/bin
Distribution: Ubuntu-24.04 (running on WSL)
HIGHS version: 1.9.0
emcc (Emscripten gcc/clang-like replacement + linker emulating GNU ld) 3.1.74
The directory contains only those files after running sh build_webdemo.sh:
The text was updated successfully, but these errors were encountered: