# Set compile parameters
export CXX="g++"
export CXXFLAGS="-pthread -maix64”
export CPPFLAGS="-D_H_VAR"
export LDFLAGS="-pthread -maix64”
export OBJECT_MODE=64

# Compile 
python3 scripts/mk_make.py --prefix=/z3_install_dir
cd build
gmake -j8

# Compile and run the tests
gmake test
./test-z3 /a

# Install the files to /z3_install_dir
gmake install

# The shared library has .so extension. In AIX , better we archive it so that application can link to it using -lz3
cd /z3_install_dir/lib
ar -X64 -q libz3.a libz3.so