Closed fingolfin closed 7 years ago
Now, if people launch GAP.app by double clicking, or add its bin
dir to their PATH, then everything is fine.
But if somebody tries to directly start gap by entering the full path, things fail in strange ways.
At the very least, we should check whether realpath
is available, and if not, exit gracefully.
Done in 24e0d7657e36318bb9fb2b2509727f80b3492888
Currently, the gap.sh script will fail on such systems if launched directly and w/o setting PATH correctly.