[m-rev.] for review: linking with shared Mercury libraries

[Fergus Henderson]

On 23-Jan-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> On 16-Jan-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > On 16-Jan-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > > This doesn't work with Mmake because ml doesn't know
> > > which libraries are Mercury libraries, so it can't
> > > link with the static versions of those libraries if
> > > MERCURY_LINKAGE is set to "static".
> > 
> > Couldn't we figure out at `mmake depend' time which libraries
> > are Mercury libraries?
> 
> Possibly, but I'm not planning to add any new functionality
> to Mmake from now on.

Does it work with `mmake --use-mmc-make'?
If so, it's probably worth mentioning that in the user guide.

IMHO it would be best to add support for `-j' to `mmc --make' before
adding new features to `mmc --make' without supporting them in Mmake.
But I'm not going to push that issue.

> > What effect do these options have if they are set when
> > you are building a shared library?

The documentation should explicitly answer this question, IMHO.

> > Why does `mmc' use different option names for what are conceptually
> > the same options as `ml'? 
> > 
> > 	mmc				ml
> > 
> > 	--mercury-linkage shared	--mercury-libs shared
> > 	--mercury-linkage shared	--mercury-libs static
> 
> These don't do the same thing 

OK.

> > 	--linkage shared		--shared
> > 	--linkage static		--static
> 
> I could add `mmc --shared', but `gcc -shared' does a completely
> different thing (builds a shared library), so I'm not sure whether
> it's a good idea.

OK.

Otherwise that looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------