[m-rev.] diff: move library changes on the mode-constraints branch onto trunk

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Mar 7 15:13:14 AEDT 2003


On 04-Mar-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > (Regardless of path names,
> > anyone importing robdd.mh will need to make a robdd.h file visible to the
> > C compiler, which shouldn't be necessary; robdd.h is needed only when
> > generating robdd.o.)
> 
> That is not true in the presence of intermodule optimization.

But it is true in its absence, which is the default for users in grades such
as asm_fast.gc. Which means I think we need a solution to this problem.
For example, we could include the contents of such foreign_decls in the .mh
file between #ifdef MERCURY_INTERMODULE_OPTIMIZATION and #endif, and add
a #define of that macro to the tops of the source files compiled with
intermodule optimization.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list