leanprover-community / lean4web

The Lean 4 web editor
https://live.lean-lang.org/
Apache License 2.0
52 stars 14 forks source link

feat: change from webpack to vite #3

Closed joneugster closed 8 months ago

abentkamp commented 8 months ago

Oh, I forgot about the Logo

joneugster commented 8 months ago
joneugster commented 8 months ago

@abentkamp do you understand this CI warning?

abentkamp commented 8 months ago

The module path is only meant to be used on the server side (nodejs). webpack replaces it automatically with path-browserify. I used this vite configuration to fix the issue: https://dev.to/0xbf/vite-module-path-has-been-externalized-for-browser-compatibility-2bo6

joneugster commented 8 months ago

Now I get an error about the logo again.