Mariusz Zynel wrote:
Build platform: Sun Solaris 2.7 GNU 'make' version: 3.78.1 GNU 'patch' version: 2.5.4
There is a newer alpha GPC release, which builds less painfull on Solaris. I had problems due to bash extensions used in Makefile-s.
Besides, there are Solaris binaries in pkgadd form to download at:
http://math.uwb.edu.pl/download ftp://mizar.uwb.edu.pl/pub/misc
Hope this helps
The `if ! [ ... ]' Makefile problem will be solved in the next release. Were there any more problems left in the last release? Neither GNU make, patch nor (I think) install should be required.
Frank