[mercury-users] Using libraries with mmc --make

[Jonathan Morgan]

On 14/08/06, Peter Wang <wangp at students.csse.unimelb.edu.au> wrote:
> On 2006-08-14, Jonathan Morgan <jonmmorgan at gmail.com> wrote:
> > I have the following Mmakefile, which is used to link my code with
> > extras/xml.
> >
> > Mmakefile:
> > EXTRA_LIB_DIRS = /home/stude1/j/jmmorgan/mercury/xml/lib/mercury
> > EXTRA_LIBRARIES = xml
> > MCFLAGS = --mercury-linkage static
> > MLFLAGS=-static
> >
> > default_target: mgtk_xml
> >
> > depend: mgtk_xml.depend
> >
> > clean: mgtk_xml.clean
> >
> >
> > However, if I translate it into an ordinary Makefile based on mmc
> > --make then it complains that it can't find xml.m and similar files.
> [snip]
> >
> > Any idea why this might happen?
>
> I think the problem is that mmc --make requires additional .module_dep
> files.  Normally you can get mmake to build and install .module_dep
> files by adding --generate-mmc-deps to MCFLAGS but there seems to be a
> problem with the XML library (I haven't really looked).  You can build
> and install the library with mmc --make instead, e.g.
>
>     mmc -m libxml.install --install-prefix /my/path --no-libgrade

Thanks for that.  I simply used mmake --use-mmc-make install for
libxml, and it now works with both mmake and mmc --make.

Jon
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------