Closed hxuhack closed 5 months ago
The issue is now fixed by updating the installation scripts. Users may also encounter other problems when building z3-sys with aarch64-apple-darwin. Adding the paths of the header file and library files to the environment manually would be helpful .
Error Report:
1) Does gdb has a Mac OS/aarch64 version? (brew install gdb does not work, maybe I should compile with the source code). 2) The directory should be recognised as: x86_64-apple-darwin => aarch64-apple-darwin.