search

emina / rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Other
640 stars 74 forks source link

Make Z3 install failures more obvious on unsupported platforms #238

Closed jamesbornholt closed 2 years ago

jamesbornholt commented 2 years ago

Previously, when installing on Unix platforms that don't have a prebuilt Z3 binary available from GitHub, we'd silently install an x86 Linux binary anyway, and then things would mysteriously fail at run time. So let's make two changes:

  1. explicitly check the architecture and only install for x86_64 systems, since there are no prebuilt Z3 binaries for other architectures on the version of Z3 we use; and
  2. provide more visible feedback if the install script fails to install a Z3 binary, by moving it to be a post-install rather than pre-install phase.

This should help make issues like #236 more obvious at install time.