Why the need for this Template Repo?
1. Dependencies needed to install under are split between those that need to be installed using root privileges and those that are installed into a users local home directory, under .local.
2. Users of the arch test suite did not have the experience in installing packages, building libraries, etc. A way to help them to get up and running was needed.
3. Running under RHEL 8 has it’s own unique challenges. For example Z3 a dependency for sail was not available as a package under RHEL. So this has to be built from scratch and installed to a users local dir. Another example was opam, RHEL does not have this available. Since compiling this was not an option, the binary release was chosen and is copied to ~./local/bin/ (version being used is opam-2.1.0-x86_64-linux).
Ubuntu vs RHEL why two OSes?
While Ubuntu is by far the choice for most software developers these days. Anyone doing chip level development is limited to what is supported by the major tool vendors, Synopsis, Cadence, Mentor, etc..
See : www.cadence.com/en_US/home/su...
Presenter: Marc Karasek, Innovative Engineering Leader: Analytical, Adaptable, Skilled Mentor, with a Proven Track Record in Software Development, Open Source Contributions, Patents, and Industry Recognition.