building for m1 about souper HOT 2 OPEN

hi, you can't just update Alive2 yourself, we patch it and use internal APIs. I don't know that any of us currently uses Souper on a Mac but let's wait for @manasij7479 to do the Alive2 update and then I'll see if I can make it work

from souper.

Hello, I was trying to build on Mac M1 and encountered a similar issue with make. However, I did not have to install Alive2 manually (just installed a dependency r2ec).
To remove the hiredis warning, I ran the command make in third_party/hiredis which created hiredis.dylib and moved it to hiredis-installer/lib.

For lzstd, I found that the Library_path was not correct for me. The library was in /opt/homebrew/lib. I passed it before cmake and make using LIBRARY_PATH=$path_to_libzstd.

However, when running make check 611 tests fail.

from souper.