Build Issue

[sahilbhatia17]

While installing , at step 3 , I get the following error:

CMake Error at /LinearArbitrary-SeaHorn/build/z3-prefix/src/z3-stamp/z3-build-RelWithDebInfo.cmake:16 (message): Command failed: 2

'make' '-j3' '-C' 'build'

[zhanghongce]

I encountered exactly the same problem...

[crvdgc]

It seems like building z3 needs gcc-5, instead of gcc-7. Maybe try install gcc-5 and

export CC=gcc-5
export CXX=g++-5

before running any cmake commands.