Open Source Development

For which version of AIX, you require this tool?

We currently running AIX 7.3 TL2 with DNF (AIX Toolbox) set up. 

There are some code changes and compile settings required to compile z3 in AIX. Below are the steps. A patch (z3-aix.patch) containing the changes is attached in this thread., 

# Clone z3 4.15.4 (latest version) and apply the patch.
git clone https://github.com/Z3Prover/z3 --branch z3-4.15.4 --single-branch
cd z3
# get the patch here and apply it. 
patch -p1 < z3-aix.patch

# 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

Thank you very much for your detailed response and the patch, Ayappan.

We will test it as soon as possible and get back to you with feedback. 

Best regards,

Ron

Yes, we can make it available in AIX Toolbox as a rpm. 

z3 (z3 and z3-devel rpms) is now published in AIX Toolbox.
https://public.dhe.ibm.com/aix/freeSoftware/aixtoolbox/RPMS/ppc-7.2/z3/
https://public.dhe.ibm.com/aix/freeSoftware/aixtoolbox/RPMS/ppc-7.3/z3/

Just out of interest - how do you (plan to) use that together with COBOL?

Side note: the upstreaming was missing, so added that as https://github.com/Z3Prover/z3/pull/8113