search

reactive-systems / syfco

Synthesis Format Conversion Tool
MIT License
23 stars 12 forks source link

Is there a statically compiled latest version? #51

Closed 5nizza closed 10 months ago

5nizza commented 10 months ago

hi all, is there a statically compiled latest version of syfco? Something that does not depend on glibc. Reason: to run it on an old cluster (without root access and without haskell tools). The strix distribution on starexec has such a statically compiled version, but it is an old version of syfco. Thanks.

5nizza commented 10 months ago

It wasn't statically compiled, it was just compiled on an old system. So, I am attaching that old version, and closing the issue. syfco.zip