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

[Nancy Mazur]

> 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

hmmm... i don't think either Peter or I have limited our analysis to the pure
derivation of possible aliases. So there might be something broken there. 
Use 
	--infer-structure-reuse
instead. 

Nancy	
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------