[mercury-users] Problem with linking bigger project (Mercury and C++)

Ondrej Bojar oboj7042 at ss1000.ms.mff.cuni.cz
Sun Jan 6 03:05:14 AEDT 2002


On Sun, 6 Jan 2002, Simon Taylor wrote:
> If you define a Mercury main/2 predicate (it won't be used),
> this problem will go away. I'm not sure why this is needed.

Yes. It helped. I linked the program successfully, but I got segmetation
fault from somewhere within mercury_init() and I don't know how to fix
this...

Do you think the other way of linking cpp and mercury, ie. the main()
defined in mercury and calling cpp_main() from there, would work better?
(I have to rearrange other parts of the interface, so it's not too cheap
for me.)

> > # Files needed for the final linking.
> > #MLOBJS-ent=db_cint.o $(MILANLIBS) $(main_objects)
> > # XXX Strangely, the line above *doesn't work*. When "mmake ent" is called,
> > # mmake *doesn't include* the $(main_objects) and includes just plain $(MLOBJS)
> I've just fixed this bug.

How can I get the fixed mmake? (I did anonymous CVS update of Mercury
project, but I didn't find the fix yet. And I don't know, where to look
for it exactly. :-)

Thanks, Andrew.

>
> Simon.
> --------------------------------------------------------------------------
> mercury-users mailing list
> post:  mercury-users at cs.mu.oz.au
> administrative address: owner-mercury-users at cs.mu.oz.au
> unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
> subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
> --------------------------------------------------------------------------
>


--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list