fix production

hhu-adam · Jul 29, 2024 · f32bb58 · f32bb58
1 parent 818b620
commit f32bb58
Show file tree

Hide file tree

Showing 16 changed files with 1,083 additions and 1,600 deletions.
diff --git a/README.md b/README.md
@@ -97,7 +97,10 @@ export default {
     viteStaticCopy({
       targets: [
         {
-          src: normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*.production.min.js')),
+          src: [
+            normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*.production.min.js')),
+            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/webview/webview.js')),
+          ],
           dest: 'infoview'
         }
       ]

diff --git a/demo/package.json b/demo/package.json
@@ -9,7 +9,7 @@
     "start": "concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"",
     "build": "tsc -b && vite build",
     "lint": "eslint . --ext ts,tsx --report-unused-disable-directives --max-warnings 0",
-    "preview": "vite preview"
+    "preview": "concurrently \"vite preview\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\""
   },
   "dependencies": {
     "lean4monaco": "file:..",

diff --git a/demo/src/App.tsx b/demo/src/App.tsx
@@ -1,4 +1,4 @@
-import { useEffect, useRef, useState } from 'react'
+import { useState } from 'react'
 import './App.css'
 import LeanMonacoComponent from './LeanMonaco'
 import { LeanMonacoOptions } from 'lean4monaco'

diff --git a/demo/vite.config.ts b/demo/vite.config.ts
@@ -23,7 +23,10 @@ export default defineConfig({
     viteStaticCopy({
       targets: [
         {
-          src: normalizePath(path.resolve(__dirname, '../node_modules/@leanprover/infoview/dist/*.production.min.js')),
+          src: [
+            normalizePath(path.resolve(__dirname, '../node_modules/@leanprover/infoview/dist/*.production.min.js')),
+            normalizePath(path.resolve(__dirname, '../dist/webview/webview.js')),
+          ],
           dest: 'infoview'
         }
       ]

diff --git a/dev/index.html b/dev/index.html
diff --git a/dev/main.ts b/dev/main.ts
diff --git a/dev/public/vite.svg b/dev/public/vite.svg
diff --git a/dev/style.css b/dev/style.css
diff --git a/dev/vite.config.ts b/dev/vite.config.ts