The solidity snap is in the store, called solc there.
They recently added a requirement on the libz3-dev package. I got a little surprised because xenial doesn’t have the package for arm64.
All the other archs are there, so I’m wondering if there is a way to get libz3-dev for arm64 into the archive, or we have to compile it from source during the snap build.
To fix this in xenial, someone would have to follow the SRU (Stable Release Update) procedures and submit a fix for the FTBFS. A localized fix would be appropriate as an SRU. Note that zesty’s z3 is based on 4.4.1 and it built on arm64, so perhaps a fix is in 4.4.1 for this…
Would it make more sense to build against artful than against xenial? I’m
not sure there’s a reason for a snap to use the 16.04 versions of
build-packages instead of the latest available.
it looks like for some reason mono’s mcs couldn’t find required .net DLLs. I checked the packages it pulled before it built and it seems that everything was installed as should be required, but somehow mono couldn’t find it’s own files to build a tiny part of libz3.