Bundle using rollup.

FStarLang · May 8, 2024 · ebfc10f · ebfc10f
1 parent ae68d78
commit ebfc10f
Show file tree

Hide file tree

Showing 9 changed files with 1,209 additions and 36 deletions.
diff --git a/.eslintignore b/.eslintignore
@@ -5,3 +5,4 @@ server/node_modules/**
 server/out/**
 /server/tests/**
 /.eslintrc.js
+/rollup.config.mjs
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -12,7 +12,7 @@
 			"autoAttachChildProcesses": true,
 			"preLaunchTask": {
 				"type": "npm",
-				"script": "watch"
+				"script": "compile"
 			}
 		},
 		{

diff --git a/.vscode/tasks.json b/.vscode/tasks.json
@@ -13,21 +13,5 @@
 				"$tsc"
 			]
 		},
-		{
-			"type": "npm",
-			"script": "watch",
-			"isBackground": true,
-			"group": {
-				"kind": "build",
-				"isDefault": true
-			},
-			"presentation": {
-				"panel": "dedicated",
-				"reveal": "never"
-			},
-			"problemMatcher": [
-				"$tsc-watch"
-			]
-		}
 	]
 }
diff --git a/.vscodeignore b/.vscodeignore
@@ -1,15 +1,6 @@
-.vscode/**
+.vscode
 **/*.ts
-**/*.map
-.gitignore
-**/tsconfig.json
-**/tsconfig.base.json
-contributing.md
-.travis.yml
-client/node_modules/**
-!client/node_modules/vscode-jsonrpc/**
-!client/node_modules/vscode-languageclient/**
-!client/node_modules/vscode-languageserver-protocol/**
-!client/node_modules/vscode-languageserver-types/**
-!client/node_modules/{minimatch,brace-expansion,concat-map,balanced-match}/**
-!client/node_modules/{semver,lru-cache,yallist}/**
+**/node_modules
+*/package*.json
+.github
+resources/screenshot.png