for review: MERCURY_ALL_C_INCL_DIRS

[Fergus Henderson]

On 03-Mar-1998, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> scripts/mgnuc.in:
> 	Use a new environment variable MERCURY_ALL_C_INCL_DIRS, which may
> 	be defined by the user as a list of -I<dir> options, whose default
> 	value is -I$MERCURY_C_INCL_DIR. This replaces MERCURY_GC_INCL_DIR.
> 	The advantage of the new arrangement is that it allows the garbage
> 	collector header files to be in more than one directory, as they
> 	are with the Boehm collector (the file gc_inl.h, which is needed at
> 	-O6, is in boehm_gc/include, while the usual gc.h is in boehm_gc).
> 
> tools/bootcheck:
> 	Set up MERCURY_ALL_C_INCL_DIRS instead of MERCURY_GC_INCL_DIR.
> 	Tidy some other parts of the script.
> 
> doc/user_guide.texi:
> 	Document the change.

That looks fine.  Thanks.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.