#! /bin/sh
#
# Created by configure

'./configure' \
'--with-php-config=/usr/local/bin/php73-config' \
'--with-gmp=/kunden/177922_22359//temp/gmplib' \
'--enable-static' \
"$@"