8c8
<   echo "$0: requires 1 arg (path of GMP library)"
---
>   echo "ERROR: $0: requires 1 arg (path of GMP library)"
13a14,19
> PLATFORM=`basename "$GMP_LIB"`
> if [ "$PLATFORM" = "lib" ]
> then
>   PLATFORM=
> fi
> 
24a31
>   GMP_INC_DIR3="$GMP_LIB_DIR_DIR/include/$PLATFORM"
30a38,40
>   elif [ -n "$PLATFORM" -a -f "$GMP_INC_DIR3/gmp.h" ]
>   then
>     GMP_INC_DIR="$GMP_INC_DIR3"
32c42
<     echo "Cannot find GMP header for $GMP_LIB; searched in $GMP_INC_DIR1 and $GMP_INC_DIR2"
---
>     echo "ERROR: $0: Cannot find GMP header for $GMP_LIB; searched in $GMP_INC_DIR1 and $GMP_INC_DIR2 and $GMP_INC_DIR3"
36c46
< if [ -f "$GMP_INC_DIR/gmp.h" -a -r "$GMP_INC_DIR/gmp.h" ]
---
> if [ -r "$GMP_INC_DIR/gmp.h" ]
44c54
< echo "Trouble reading GMP header file $GMP_INC_DIR/gmp.h"
---
> echo "ERROR: $0: Trouble reading GMP header file $GMP_INC_DIR/gmp.h"