[ -d /opt/local/gap4 ] || mkdir -p /opt/local/gap4
tar cf - . | (cd /opt/local/gap4 && tar xvf -)
(cd /opt/local/gap4 &&
./configure --prefix=/opt/local/gap4 &&
make
)