abinfo "Generating python bytecodes ..."
python3 -m compileall "$PKGDIR/usr/lib/python${ABPY3VER}/site-packages/z3"
python3 -O -m compileall "$PKGDIR/usr/lib/python${ABPY3VER}/site-packages/z3"

