Heya,
On Thu Sep 1, 2022 at 11:17 PM BST, Mario Calcagno wrote:
> PS. I tried to launch EDOPro with ./EDOPro .
You've downloaded a binary from the Internet, haven't you. Binaries compiled
outside of Guix System *will not work* on Guix System. You have two options:
(1) Make a Guix ``edopro'' package. I recommend you do this. If you don't
know how to make a package, I'll be happy to help on #guix (I'm
``unmatched-paren'' there).
(2) Use patchelf to fix the binary directly. This is a stopgap solution,
and it'd be *much* better in the long term to write a Guix package
for it.
-- (
