@serebit Thanks!

Is it possible to create a new package specifically for audacity's customized version, or is that too much work?

It's ok. As long as the wofi package works, I belive both of them should be fine and are ready to submit. Thanks for helping!

@DataDrake Sorry for that!
@h3o Maybe you can try to compile the build it yourself. Follow the article about building a package and end at the part "Updating solbuild". After that, run sudo solbuild build in the directory you downloaded the package.yml file.

I've built it, but the build process is so smooth that I'm not sure if it actually works. Can you help me test it out, since I'm not sure how to test it?

Renamed package from "solc" to "solidity" to prevent confusion

In D11016#183375, @DataDrake wrote:

Actually, the package should be named solidity to match upstream.

Aha thanks! This is why I can never get a full score on my math tests.

Link to task T9709

Change:

1. Changed cmake to %cmake so that the installation files will be at /usr/bin instead of /usr/local/bin
2. Created MAINTAINERS.md and added my info
3. Rearranged dependencies' order in builddeps and changed z3 to pkgconfig(z3)
4. Removed make and cmake in builddeps

Just a note: this is related to task T9709

Haha thanks :)

I've tried to build from source and it's working. cvc4 and z3 are listed as optional dependencies (SMT solver and dependencies), so even without them we still have a stable and functional build of solidity. From my observation, they seem to be performing similar actions to make check (though I'm not sure).

May I become a maintainer?