Trouble Installing Marabou/Maraboupy

[TiloRC]

I'm following the instructions in the documentation: https://neuralnetworkverification.github.io/Marabou/Setup/0_Installation.html.

I'm using MacOS (Big Sur) with an M1 mac and Python 3.8.16.

cmake --build . gives me the following errors:

[  0%] Building CXX object CMakeFiles/MarabouHelper.dir/tools/onnx-1.12.0/onnx.proto3.pb.cc.o
error: unknown warning option '-Wno-unused-but-set-variable'; did you mean '-Wno-unused-const-variable'? [-Werror,-Wunknown-warning-option]
make[2]: *** [CMakeFiles/MarabouHelper.dir/tools/onnx-1.12.0/onnx.proto3.pb.cc.o] Error 1
make[1]: *** [CMakeFiles/MarabouHelper.dir/all] Error 2
make: *** [all] Error 2

My build folder has the following files:

.			CMakeFiles		cmake_install.cmake	lp_infeasible_1.mps	tests
..			CTestTestfile.cmake	input_parsers		regress			tools
CMakeCache.txt		Makefile		lp_feasible_1.mps	src

---

Update: I learned that Marabou can be installed with pip3 install maraboupy. However, when I try to import maraboupy in python weird stuff happens:

>>> from maraboupy import Marabou
zsh: illegal hardware instruction  python3

[TiloRC]

I think its likely these issues are likely related to the limitations of Maraboupy's dependencies