[m-rev.] for review: read .opt files transitively

[Fergus Henderson]

On 18-Apr-2001, Peter Ross <peter.ross at miscrit.be> wrote:
>
> A patch like this is also needed for the reuse analysis, because the
> type (and hence representation) of every variable needs to be known.  I
> have one implemented on the reuse branch.
> However I am not totally sure of the correctness of my approach.

There seems to be a problem with the dependencies for .trans_opt
files on the reuse branch.  The following commands

	cvs checkout -rreuse mercury
	cd mercury
	autoconf
	sh configure
	make
	echo "EXTRA_MCFLAGS = --infer-possible-aliases" > Mmake.stage.params
	tools/bootcheck

result in a failure when building the stage 2 browser

	...
	MERCURY_INT_DIR=../library MERCURY_ALL_C_INCL_DIRS=" -I../trace
		-I../library -I../runtime -I../boehm_gc -I../boehm_gc/include "
		/home/mars/public/mercury-latest/i686-pc-linux-gnu/bin/mmc
		--no-unboxed-float --conf-low-tag-bits 2 --bits-per-word
		32 --bytes-per-word 4 --compile-to-c --grade asm_fast.gc
		--no-infer-all --halt-at-warn --infer-possible-aliases
		browse.m > browse.err 2>&1
	gmake: *** [mdb.browse.c] Error 1
	+ echo 'building of stage 2 browser not successful'
	building of stage 2 browser not successful
	+ exit 1

stage2/browser/browse.err contains the following:

	Warning: cannot open `mdb.sized_pretty.trans_opt'.
	Warning: cannot open `mdb.frame.trans_opt'.
	Warning: cannot open `mdb.util.trans_opt'.
	Warning: cannot open `mdb.parse.trans_opt'.
	Warning: cannot open `mdb.browser_info.trans_opt'.
	Warning: no corresponding entry found for function `bool:Introduced_pred_for_enum__enum__bool__bool__arity0______enum__from_int_1/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `bool:Introduced_pred_for_enum__enum__bool__bool__arity0______enum__to_int_1/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `char:Introduced_pred_for_enum__enum__character__arity0______enum__from_int_1/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `char:Introduced_pred_for_enum__enum__character__arity0______enum__to_int_1/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `int:Introduced_pred_for_enum__enum__int__arity0______enum__from_int_1/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `int:Introduced_pred_for_enum__enum__int__arity0______enum__to_int_1/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `term:Introduced_pred_for_enum__enum__term__var__arity1______enum__from_int_1/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `term:Introduced_pred_for_enum__enum__term__var__arity1______enum__to_int_1/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `array:TypeSpecOf__pred_or_func__sort__[T = int]/1' with `pragma pa_alias_info'.
	Warning: no corresponding entry found for function `array:TypeSpecOf__pred_or_func__sort__[T = string]/1' with `pragma pa_alias_info'.
	For more information, try recompiling with `-E'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------