> < ^ Date: Fri, 19 Feb 1999 15:22:23 +0100 (CET)
> < ^ From: Franz Gaehler <gaehler@itap.physik.uni-stuttgart.de >
< ^ Subject: Re: hostname in gap.sh

Dear GAP Forum,

in <gap-home>/bin/gap.sh

For purposes of network installations one often even does not want the full
release number of the OS (There were times when our network had machines
with linux 2.0.30, 2.0.32, 2.0.34 and 2.0.35) but something weaker. The best
way around this is to link all these potential directory names to the same

I find it most convenient to use the variable $HOSTTYPE available in
most Unix shells. That is, I set GAP_PRG=$HOSTTYPE/gap in gap.sh,
and in <gap_home>/bin I put for every value of $HOSTTYPE that might
occur a symbolic link to the right directory. For instance, there is
a link i386-linux -> i586-unknown-linux2.0.33-gcc on my system, and
another one i586 -> i586-unknown-linux2.0.33-gcc. This covers all
linux machines. This is much simpler than hostnames or compiler/kernel

Best regards,

Franz Gaehler

Miles-Receive-Header: reply

> < [top]