search

emina / rosette

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

Does not work on M1 Mac because the bundled z3 is not compatible #253

Closed joonazan closed 1 year ago

joonazan commented 1 year ago

The error reporting on this is very unclear, I just get 

error writing to stream port
  system error: Broken pipe; errno=32
Archfx commented 1 year ago

I would suggest you to use Docker.

joonazan commented 1 year ago

I fixed the issue by manually compiling version 4.4.1 of z3, as the newest version just uses up all my RAM. It works great but I had to edit one file to make it compile.