search

banacorn / language-agda

Agda language support for the Atom editor
https://atom.io/packages/language-agda
MIT License
13 stars 5 forks source link

Failed to load a language-agda package grammar #38

Open GA-Moore opened 3 years ago

GA-Moore commented 3 years ago

[Enter steps to reproduce:]

  1. ...
  2. ...

Atom: 1.57.0 x64 Electron: 9.4.4 OS: linux 5.13.15-200.fc34.x86_64 Thrown From: language-agda package 1.2.1

Stack Trace

Failed to load a language-agda package grammar

At /var/lib/snapd/snap/atom/282/usr/share/atom/resources/app.asar.unpacked/node_modules/scrollbar-style/build/Release/../../../../../../../../lib/x86_64-linux-gnu/libstdc  .so.6: version `GLIBCXX_3.4.29' not found (required by /home/gamoore/.atom/packages/language-agda/node_modules/tree-sitter-agda/build/Release/tree_sitter_agda_binding.node) in /home/gamoore/.atom/packages/language-agda/grammars/tree-sitter-agda.cson

Error: /var/lib/snapd/snap/atom/282/usr/share/atom/resources/app.asar.unpacked/node_modules/scrollbar-style/build/Release/../../../../../../../../lib/x86_64-linux-gnu/libstdc  .so.6: version `GLIBCXX_3.4.29' not found (required by /home/gamoore/.atom/packages/language-agda/node_modules/tree-sitter-agda/build/Release/tree_sitter_agda_binding.node)
    at process.func [as dlopen] (electron/js2c/asar.js:140:31)
    at Object.Module._extensions..node (internal/modules/cjs/loader.js:1034:18)
    at Object.func [as .node] (electron/js2c/asar.js:140:31)
    at Module.load (internal/modules/cjs/loader.js:815:32)
    at Module._load (internal/modules/cjs/loader.js:727:14)
    at Function.Module._load (electron/js2c/asar.js:769:28)
    at Module.require (/app.asar/static/index.js:72:46)
    at require (/var/lib/snapd/snap/atom/282/usr/share/atom/resources/app/static/<embedded>:11:149153)
    at /packages/language-agda/node_modules/tree-sitter-agda/index.js:2:20)
    at /packages/language-agda/node_modules/tree-sitter-agda/index.js:15:3)
    at Module.get_Module._compile (/var/lib/snapd/snap/atom/282/usr/share/atom/resources/app/static/<embedded>:11:149837)
    at Object.value [as .js] (/var/lib/snapd/snap/atom/282/usr/share/atom/resources/app/static/<embedded>:11:153385)
    at Module.load (internal/modules/cjs/loader.js:815:32)
    at Module._load (internal/modules/cjs/loader.js:727:14)
    at Function.Module._load (electron/js2c/asar.js:769:28)
    at Module.require (/app.asar/static/index.js:72:46)
    at require (internal/modules/cjs/helpers.js:74:18)
    at customRequire (/var/lib/snapd/snap/atom/282/usr/share/atom/resources/app/static/<embedded>:1:756277)
    at new TreeSitterGrammar (/var/lib/snapd/snap/atom/282/usr/share/atom/resources/app/static/<embedded>:11:3312443)
    at GrammarRegistry.createGrammar (/var/lib/snapd/snap/atom/282/usr/share/atom/resources/app/static/<embedded>:11:362880)
    at /var/lib/snapd/snap/atom/282/usr/share/atom/resources/app/static/<embedded>:11:362721
    at /var/lib/snapd/snap/atom/282/usr/share/atom/resources/app/static/<embedded>:11:585344
    at FSReqCallback.readFileAfterClose [as oncomplete] (internal/fs/read_file_context.js:61:3)
  at /packages/language-agda/grammars/tree-sitter-agda.cson:1:1

Commands

  3x -2:43.4.0 core:backspace (input.hidden-input)

Non-Core Packages

agda-mode 0.9.12 
language-agda 1.2.1