#! /bin/sh
#
# Created by configure

'./configure' \
'--with-gmp=shared,/kunden/177922_22359//ms_appl/gmp-6.1.2/' \
'--disable-all' \
"$@"