RHEL Build

[Blebowski]

Hi,

would it be possible to support RHEL build please ?

Lot of commercial EDA tools work on RHEL, therefore companies use it (or CentOS, Rocky).

I was trying to give it a shot on RHEL8, and figured out couple of issues:

• z3 is not packaged for RHEL -> Must be built from source and installed
• Older GCC versions have trouble on some C++17 features -> Enforcing CLANG 17 helped
• Some syntax errors occur since std::setw is not visible in couple of files -> Needs include of <bitmanip.h>.
• Can't find Python11 (currently our machine has 3.6 as default, and a main virtual env has 3.8)

Actionable points from this would be:

• Extend install_dependencies script to install the RHEL package equivalents
• Clone and build Z3 on RHEL as it is not packaged.
• Extend build scripts to provide path to python libraries (so that attempt to link to 3.11 can be overridden by other Python version).