#! /bin/sh
#
# Created by configure

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