Link error when building in github actions environment about pono HOT 2 OPEN

Thanks for documenting this -- I'll try to look into it when I get a chance. Glad you were able to unblock yourself for now. I have no idea what the issue is unfortunately. Do you know what OS the version of coreir you're downloading is compiled on? I'm not sure if it matters as long as it's linux and there's no ABI issue, but in case it's relevant.

That's a good idea to use a SOURCES variable though. I'll make that change at some point just to avoid the re-linking.

from pono.

CoreIR release is built on travis, here is an example log https://travis-ci.org/github/rdaly525/coreir/jobs/737560277

It uses Ubuntu 14.04 (trusty) with gcc-4.8 as the default but we install gcc-7 https://github.com/rdaly525/coreir/blob/master/.travis.yml#L11

from pono.