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 tried to follow the installation instructions on Ubuntu 22.04. First the opam ppa doesn't work (at least not with Ubuntu 22.04). So I went with the default opam from Ubuntu which doesn't seem too ancient (2.1.2 from one year ago). I think that installing stuff with opam worked fine. Compiling coq-waterproof seemed to work (it's a bit hard to tell because there are lots of messages such as "Warning: The statement you provided does not exactly correspond to what you need to show. This can make your proof less readable. Waterproof will try to rewrite the goal..." while running make in that repository).
But I had no luck at all with the editor. The AppImage tells me:
[1093184:1222/172326.769059:FATAL:gpu_data_manager_impl_private.cc(445)] GPU process isn't usable. Goodbye.
followed by a core dump.
Trying to run npm install fails badly. gyp seems to complain I don't have python2. Do you actually rely on people having python2? I would really like to try this software but I'm not sure I can bring myself to install python2 in 2022.
The text was updated successfully, but these errors were encountered:
Oh that is unfortunate. I did happen to spot that recently the appimage version does not work with passing --no-sandbox explicitly but I cannot get it work even with that now.
We are currently trying to upgrade our dependencies so it might be possible that using an older node version (v12) does allow you to build this locally, but I'm not sure.
I'll try to see if I can build a working AppImage with the latest version but I can't promise I can get around to it this month.
Thanks for providing this software.!
I tried to follow the installation instructions on Ubuntu 22.04. First the opam ppa doesn't work (at least not with Ubuntu 22.04). So I went with the default opam from Ubuntu which doesn't seem too ancient (2.1.2 from one year ago). I think that installing stuff with opam worked fine. Compiling coq-waterproof seemed to work (it's a bit hard to tell because there are lots of messages such as "Warning: The statement you provided does not exactly correspond to what you need to show. This can make your proof less readable. Waterproof will try to rewrite the goal..." while running make in that repository).
But I had no luck at all with the editor. The AppImage tells me:
followed by a core dump.
Trying to run
npm install
fails badly.gyp
seems to complain I don't have python2. Do you actually rely on people having python2? I would really like to try this software but I'm not sure I can bring myself to install python2 in 2022.The text was updated successfully, but these errors were encountered: