#!/bin/sh

# Usage: configure-gmp <gmp source dir> <extra config options>
#
# <extra config options> will almost certainly want to include --prefix

srcdir="$1"
shift
"$srcdir"/configure \
   --build=x86_64-pc-linux-gnu \
   --host=x86_64-pc-mingw64 \
   CC_FOR_BUILD=gcc \
   --enable-static --disable-shared \
   "$@"
