[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