Error when compiling extension

[varkor]

I'd like to try to fix a couple of issues with this extension, but I'm having trouble compiling it. When I run make vsix I get the following:

npm WARN [email protected] license should be a valid SPDX license expression

npm ERR! code ELIFECYCLE
npm ERR! errno 2
npm ERR! [email protected] compile: `installServerIntoExtension ../client ./package.json ./tsconfig.json && tsc -p ./`
npm ERR! Exit status 2
npm ERR! 
npm ERR! Failed at the [email protected] compile script.
npm ERR! This is probably not a problem with npm. There is likely additional logging output above.

npm ERR! A complete log of this run can be found in:
npm ERR!     ~/.npm/_logs/2018-02-21T10_29_19_394Z-debug.log
npm ERR! code ELIFECYCLE
npm ERR! errno 2
npm ERR! [email protected] compile-server: `cd ../server && npm run compile && cd ../client`
npm ERR! Exit status 2
npm ERR! 
npm ERR! Failed at the [email protected] compile-server script.
npm ERR! This is probably not a problem with npm. There is likely additional logging output above.

npm ERR! A complete log of this run can be found in:
npm ERR!     ~/.npm/_logs/2018-02-21T10_29_19_418Z-debug.log
npm ERR! code ELIFECYCLE
npm ERR! errno 2
npm ERR! [email protected] vscode:prepublish: `npm run cp-coqtopw && npm run compile-server && npm run compile-html-view && npm run compile`
npm ERR! Exit status 2
npm ERR! 
npm ERR! Failed at the [email protected] vscode:prepublish script.
npm ERR! This is probably not a problem with npm. There is likely additional logging output above.

npm ERR! A complete log of this run can be found in:
npm ERR!    ~/.npm/_logs/2018-02-21T10_29_19_442Z-debug.log

make: *** [vsix] Error 1

The build therefore fails.

Edit: I think it's because there are a lot of compile (type-checking) errors (which happens when I try manually running the server compile command). Maybe some dependencies have broken this? It might be useful to commit the package-lock.json file.

[varkor]

There seem to be two problems here. One is that there are a number of TypeScript errors. The second is that vsce has trouble accessing the file vscoq/client/.testUser/user/1.20.1-main.sock. I'm not really sure how to resolve this one — have you got any ideas @siegebell?

[Blaisorblade]

Maybe some dependencies have broken this? It might be useful to commit the package-lock.json file.

@varkor, thanks for all your patches. I'm trying to resurrect them, based @aqjune's "distribution" of your fixes. Alas, the code includes no "version lock" files, and my build does not show any proof goals at all (even if I exclude the patches acting on how proof goals are displayed).