/pub/pkgsrc/misc/joerg/20200410.1852/py36-z3-4.8.3/configure.log