Re: Specifying which make command to use

On Thu, Mar 25, 2004 at 11:11:10AM +0100, Arnaud Charlet wrote:
> > Hi, I've just installed GPS on a SUN SPARC station running Solaris, and
> > I'd like to change the command for making files from make to gmake
> > (since make is the SUN make which behaves differently from the GNU
> > make). I couldn't find any info on this on the homepage and I can't
> > find out how to change it in GPS itself... How is this done?
> You could either put gnu make in front of your path, or use
> F9 (custom build) to choose any build command you like. These custom
> commands are saved from session to session, so you only have to type them once.

Neat, but then I'm unable to use the built-in make options. Also, I'm
installing this on the local university, and it wouldn't really work if
everyone had to do it like that. Can't I define it in a global configure
file?

-- 
// Mark Gjøl
I find the whole business of religion profoundly interesting. But it does mystify me that otherwise intelligent people take it seriously.
 - Douglas Adams
-- http://b0rken.dk

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iD8DBQFAYrHoTh0Mus0FOi0RAmiHAJwJ+OVtq5isYlHukNaXkj6LHYYgTQCeLyBO
8VM2VS/yGeQWjAUx5l3BAYg=
=mt6L
-----END PGP SIGNATURE-----