#!/bin/ksh

HOST="$1"
OS="$2"
OS_VERSION="$3"
OS_VERSION_MINOR="$4"

patch1()
{
/usr/local/bin/patch -p0 -N -b -V numbered <<\EOF
EOF
}

case "$OS" in
aix)
	export CC=cc
	export CFLAGS='-O -qmaxmem=16384'
	export AR=ar
	export NM=nm
	export ABI=32
	;;
hpux)
	export CC=cc
	export CFLAGS="-O -Ae +DAportable"
	# force 32 bit ABI to eliminate alignment problems in GHC
	export CFLAGS="-O -Ae +DA1.1"
	export ABI=1.0
	;;
sunos)
	export CC=/opt/SUNWspro/bin/cc
	export CFLAGS="-O"
	;;
linux)
	export CC=gcc
	export CFLAGS="-O"
	;;
esac &&

ksh ./configure \
	--prefix=/usr/local/gmp/4.1.4 \
	--enable-error-on-warning=no \
	--enable-shared=no \
	--enable-static=yes \
	--disable-dependency-tracking \
	&&
gmake &&
( gmake check || true ) &&
gmake install