Re: EDOPro can't load libpthread.so.0

[(]

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.

    -- (