fix: bad webpack/lerna monorepo interaction

leanprover · Mar 20, 2022 · 7018481 · 7018481
1 parent f56e705
commit 7018481
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/vscode-lean4/webpack.config.js b/vscode-lean4/webpack.config.js
@@ -49,7 +49,8 @@ function getWebviewConfig(env) {
 			}),
 			new CopyPlugin({
 				patterns: [{
-					from: path.resolve(__dirname, 'node_modules', '@lean4', 'infoview', 'dist'),
+					// See https://github.com/webpack-contrib/copy-webpack-plugin/tree/e2274daad21baae3020819aa29ab903bd9992cce#yarn-workspaces-and-monorepos
+					from : `${path.dirname(require.resolve('@lean4/infoview/package.json'))}/dist`,
 					to: path.resolve(__dirname, 'dist', 'lean4-infoview')
 				}, {
 					from: path.resolve(__dirname, 'node_modules', '@esm-bundle', 'react', 'esm'),