+if [ $no_clean -eq 0 ]; then
+ $make maintainer-clean NO_CLEAN_GMP=YES
+
+ INSTDIR=`pwd`/inst
+ if [ "$OSTYPE" = "cygwin" ]
+ then
+ INSTDIR=`cygpath -m "$INSTDIR"`
+ fi
+
+ /usr/bin/perl -w boot --required-tag=dph
+ ./configure --prefix="$INSTDIR" $config_args