18,22d17
< if [ ! -d configuration ]
< then
<   echo "$0: ERROR: please run in the CoCoALib root directory"
<   exit 1
< fi
30,34c25,30
< TMP_DIR=TMPDIR-gmp-try-default-$HOSTNAME-$UID-$$
< /bin/rm -rf $TMP_DIR  &&  mkdir $TMP_DIR  2>/dev/null
< if [ $? -ne 0 ]
< then
<   echo "ERROR: Unable to create working directory ($TMP_DIR)"
---
> TODAY=`date "+%Y-%m-%d"`
> TIME=`date "+%H:%M:%S"`
> TMP_DIR=/tmp/CoCoALib-config-$USER-$TODAY/gmp-try-default-$TIME-$$
> /bin/rm -rf $TMP_DIR  &&  mkdir -p $TMP_DIR
> if [ $? -ne 0 ]; then
>   echo "ERROR: $0 failed to create temporary directory \"$TMP_DIR\""
39,45d34
< # define fn for cleaning up temp dir
< cleanup()
< {
<   cd ..
<   /bin/rm  -rf "$TMP_DIR"
< }
< 
74a64
> DYN_LINK=ok
83a74,79
>   ./TestGMP > /dev/null 2>&1
>   if [ $? -ne 0 ]
>   then
>     DYN_LINK="arch=$ARCHFLAG"
>     continue;
>   fi  
89c85,93
<     # GMPXX test failed, so we have only GMP
---
>     # GMPXX compilation failed, so we have only GMP
>     echo GMP
>   fi
>   
>   # GMPXX compilation passed, so check it runs.
>   ./TestGMPXX > /dev/null 2>&1
>   if [ $? -ne 0 ]
>   then
>     # Test prog did not run: accept just GMP (or should it give error???)
92c96
<     # GMPXX passed, so we have both GMP and GMPXX
---
>     # We have both GMP and GMPXX
95c99,101
<   cleanup
---
>   # Clean-up TMP_DIR
>   cd # leave TMP_DIR
>   /bin/rm -rf $TMP_DIR
97a104,109
> 
> if [ DYN_LINK -ne "ok" ]
> then
>   echo "Problem with GMP dynamic library ($DYN_LINK); perhaps run ldconfig?"
>   exit 2
> fi