CoCoA » CoCoALib

The new configuration script contains a few minor issues for Windows machines:

• configuration/gmp-find.sh: CygWin provides the user with libgmp.dll.a instead of libgmp.a. This issue was fixed once upon a time, but reappears using the new configuration script. A fix would be adding the following line to the mentioned script after line 45:
  

      if [ -f "$dir/libgmp.dll.a" ];  then echo "$dir/libgmp.dll.a"  >> "$LIBGMPPATHS"; COUNTER=$((1 + COUNTER)); continue; fi
  

• A related issue to the one above: libgmpxx.a can also not be found since it is called libgmpxx.dll.a in CygWin. This time, I could fix it by changing line 627 in configure to:
  

    GMPXX_LIB=`dirname "$GMP_LIB"`/libgmpxx.dll.$GMP_LIB_EXTN
  

  
  However, this is not an appropriate fix since it will break configuration on Linux instead. As far as I can tell, changing configuration/extn.sh could be a solution, but I am unsure about that one either since I don't know if that script is used in some other places as well.

• configure: In line 664, there is still a call to the obsolescent fgrep binary. That one could most probably be replaced by grep -F now, however, I have not tested that yet.