rzk-lang
Linux binary does not work on Ubuntu 20.04
I can't tell whether the issue is with my computer or with the way I'm trying to typecheck in vscode or both. I can't find our previous discussion so I'm opening a new issue, but feel free to close and redirect me elsewhere.
My vscode extension is up to date.
From the terminal inside vscode I navigate into the hott folder of the yoneda repository and type rzk typecheck *-*.md which yields the following error message:
rzk: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by rzk)
rzk: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by rzk)
rzk: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.32' not found (required by rzk)
But maybe this is the wrong way to go about it? When I navigate (still using the terminal inside vscode) over to the rzk repository I can typecheck successfully using stack exec rzk typecheck followed by the path to the files.
In case it's relevant I'm running Ubuntu 20.04
Interesting, thanks for reporting!
I assume that you install rzk binaries via the VS Code extension.
On Linux, the extension installs a binary (from GitHub releases) built for Ubuntu 22.04 (ubuntu-latest), which apparently is not compatible with Ubuntu 20.04. I will look into how to workaround this issue.
In the meantime, you can build rzk from sources using Stack or cabal-install. Apologies for the inconvenience!
Thanks. BTW this is how I discovered my problem with apt_pkg and the missing inputs to dpkg. I tried to update to Ubuntu 22.04 but couldn't since I have various things missing.