Follow recent CVC4 development / latest stable version, with proper support of current platforms and isabelle build_cvc4 tool.

It could mean:

• to assemble existing binaries for the usual platforms (excluding experimental arm64-linux, only recent macOS)
• or to build from sources, with some advice given by the developers (many build options!)