copy automatically

.gitignore

@@ -2,3 +2,4 @@ node_modules
 client/dist
 server/build
 client/public/package_versions.json
+dist

client/src/monacoSetup.ts

@@ -10,6 +10,8 @@ import * as monaco from 'monaco-editor/esm/vs/editor/editor.api.js'
 import { MonacoServices } from 'monaco-languageclient';
 import { StandaloneServices } from 'vscode/services';
 import getMessageServiceOverride from 'vscode/service-override/messages';
+//@ts-ignore
+import onigasmUrl from 'onigasm/lib/onigasm.wasm?url'
 
 export function monacoSetup () {
 
@@ -62,7 +64,7 @@ export function monacoSetup () {
   // Load onigasm
   (async () => {
     try {
-      await loadWASM('./onigasm.wasm')
+      await loadWASM(onigasmUrl)
     } catch (err) {
       // Hot module replacement can cause us to run this code twice and that's ok.
       if (!(err as Error).message?.startsWith('Onigasm#init has been called')) {

package.json

@@ -56,6 +56,7 @@
     "style-loader": "^3.3.1",
     "ts-loader": "^9.4.1",
     "typescript": "^4.8.4",
+    "vite-plugin-static-copy": "^0.17.0",
     "webpack": "^5.74.0",
     "webpack-cli": "^4.10.0",
     "webpack-dev-server": "^4.11.1"
@@ -66,7 +67,7 @@
     "start_client": "NODE_ENV=development vite",
     "build": "npm run build_server && npm run build_client",
     "build_server": "server/build.sh",
-    "build_client": "NODE_ENV=production webpack",
+    "build_client": "NODE_ENV=production vite build",
     "production": "NODE_ENV=production node server/index.js"
   },
   "browserslist": {

vite.config.ts

@@ -1,9 +1,19 @@
 import { defineConfig } from 'vite'
 import react from '@vitejs/plugin-react-swc'
+import { viteStaticCopy } from 'vite-plugin-static-copy'
 
 // https://vitejs.dev/config/
 export default defineConfig({
-  plugins: [react()],
+  plugins: [
+    react(),
+    viteStaticCopy({
+      targets: [
+        {
+          src: 'node_modules/@leanprover/infoview/dist/*.production.min.js',
+          dest: '/'
+        }
+      ]
+    })],
   publicDir: "client/public",
   server: {
     proxy: {