You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am trying to install tree-sitter-agda on Windows 10 (for language-agda). I tried to git clone locally and then npm install. The error log is as follows:
C:\Users\thuzh\tree-sitter-agda\src\parser.c(295,17): error C2001: newline in constant [C:\Users\thuzh\tree-sitter-agda\build\tree_
sitter_agda_binding.vcxproj]
C:\Users\thuzh\tree-sitter-agda\src\parser.c(296,18): error C2001: newline in constant [C:\Users\thuzh\tree-sitter-agda\build\tree_
sitter_agda_binding.vcxproj]
...
C:\Users\thuzh\tree-sitter-agda\src\parser.c(325,18): error C2001: newline in constant [C:\Users\thuzh\tree-sitter-agda\build\tree_
sitter_agda_binding.vcxproj]
C:\Users\thuzh\tree-sitter-agda\src\parser.c(326,18): error C2001: newline in constant [C:\Users\thuzh\tree-sitter-agda\build\tree_
sitter_agda_binding.vcxproj]
...
gyp ERR! build error
gyp ERR! stack Error: `C:\Program Files (x86)\Microsoft Visual Studio\2019\BuildTools\MSBuild\Current\Bin\MSBuild.exe` failed with exit code: 1
gyp ERR! stack at ChildProcess.onExit (C:\Program Files\nodejs\node_modules\npm\node_modules\node-gyp\lib\build.js:194:23)
gyp ERR! stack at ChildProcess.emit (events.js:315:20)
gyp ERR! stack at Process.ChildProcess._handle.onexit (internal/child_process.js:277:12)
gyp ERR! System Windows_NT 10.0.21296
gyp ERR! command "C:\\Program Files\\nodejs\\node.exe" "C:\\Program Files\\nodejs\\node_modules\\npm\\node_modules\\node-gyp\\bin\\node-gyp.js" "rebuild"
gyp ERR! cwd C:\Users\thuzh\tree-sitter-agda
gyp ERR! node -v v14.15.4
gyp ERR! node-gyp -v v5.1.0
gyp ERR! not ok
npm ERR! code ELIFECYCLE
npm ERR! errno 1
npm ERR! [email protected] install: `node-gyp rebuild`
npm ERR! Exit status 1
npm ERR!
npm ERR! Failed at the [email protected] install 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! C:\Users\thuzh\AppData\Roaming\npm-cache\_logs\2021-01-29T05_03_56_895Z-debug.log
I looked at the source code and the four lines are pointing to
If I delete these four lines, then tree-sitter-agda can be installed successfully and so is language-agda. I guess these four non-ASCII characters are the main cause. Do you have some more elegant way to fix this?
Thanks!
The text was updated successfully, but these errors were encountered:
Hi,
I am trying to install tree-sitter-agda on Windows 10 (for language-agda). I tried to git clone locally and then
npm install
. The error log is as follows:I looked at the source code and the four lines are pointing to
If I delete these four lines, then tree-sitter-agda can be installed successfully and so is language-agda. I guess these four non-ASCII characters are the main cause. Do you have some more elegant way to fix this?
Thanks!
The text was updated successfully, but these errors were encountered: