You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
29 lines
858 B
29 lines
858 B
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"
|