search

emina / rosette

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

Install a custom Z3 build on Apple Silicon Macs #254

Closed jamesbornholt closed 1 year ago

jamesbornholt commented 1 year ago

The Z3 version we use predates aarch64 Macs, so there's no pre-packaged release available. The x86 version of Z3 works if the user has Rosetta installed, but there's no obvious way to detect that, and it fails in weird/silent ways if Rosetta isn't available.

So instead, let's install a custom Z3 4.8.8 aarch64 build in this case. We can remove it whenever we go past Z3 4.8.16, which is when they started releasing an aarch64 Mac binary. In the meantime, this makes installation more obvious for users on Apple Silicon Macs.

Also, the workaround we have for get-pure-port is no longer required, as it was fixed in Racket v7.7, which is below our minimum version, so I've removed it.

Fixes #253.

emina commented 1 year ago

Thanks!