building for m1

[liamsemeria]

I've been trying to build souper locally on my m1 MacBook. Originally Alive2 wasn't working so I updated the ALive2 repo from what is currently used to the most recent Alive2 version on its master branch. Now that it works I passed the cmake step.

(base) Liam@macbook-pro-76 souper_build % cmake -DCMAKE_BUILD_TYPE=$buildtype ..
-- Alive2 IR
-- Alive2 SMT
-- Alive2 TOOLS
-- Alive2 UTIL
-- Z3 shared lib: /Users/Liam/Desktop/Projects/research/souper/third_party/z3-install/lib/libz3.dylib
-- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE)
-- Configuring done (0.2s)
-- Generating done (0.1s)
-- Build files have been written to: /Users/Liam/Desktop/Projects/research/souper/souper_build
(base) Liam@macbook-pro-76 souper_build % make
[ 9%] Built target kleeExpr
[ 11%] Built target souperCodegen
[ 12%] Built target souperKVStore
[ 14%] Built target souperInst
[ 16%] Built target souperParser
[ 22%] Built target souperInfer
[ 26%] Built target souperExtractor
[ 28%] Built target souperSMTLIB2
[ 30%] Built target souperTool
[ 53%] Built target souperPass
[ 76%] Linking CXX shared library libsouperPassProfileAll.dylib
ld: warning: -undefined dynamic_lookup may not work with chained fixups
ld: warning: ignoring file /Users/Liam/Desktop/Projects/research/souper/third_party/hiredis-install/lib/libhiredis.a, building for macOS-x86_64 but attempting to link with file built for macOS-arm64
[ 76%] Built target souperPassProfileAll
[ 77%] Building CXX object CMakeFiles/souper.dir/tools/souper.cpp.o
[ 78%] Linking CXX executable souper
ld: library not found for -lzstd
clang: error: linker command failed with exit code 1 (use -v to see invocation)

make[2]: *** [souper] Error 1
make[1]: *** [CMakeFiles/souper.dir/all] Error 2
make: *** [all] Error 2

In a make call earlier I got this message:

[ 53%] Linking CXX shared library libsouperPass.dylib
ld: warning: -undefined dynamic_lookup may not work with chained fixups
ld: warning: ignoring file /Users/Liam/Desktop/Projects/research/souper/third_party/hiredis-install/lib/libhiredis.a, building for macOS-x86_64 but attempting to link with file built for macOS-arm64
[ 53%] Built target souperPass

Has anyone built souper locally on m1? If so have you encountered this issue?
Thanks

[regehr]

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

[radhika1601]

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.