[mercury-users] library distribution?

[Tyson Dowd]

On 06-Dec-1999, Robert Ernst Johann JESCHOFNIK <rejj at cat.cs.mu.OZ.AU> wrote:
> Hello.
> 
> I was just wondering - does anyone think it would be worthwhile to have a
> distribution of just the mercury runtime and standard library available in
> binary format from the website? If/when the time comes that people start
> releasing software written in Mercury, I'm sure people won't want to have
> to download the whole compiler just to run some funky new program they
> got.

Yes.  I think you might need to:
	- stop using -rpath 
	- install different grades directly into /usr/lib 
	  (naming them differently)
before this would work very well.  

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------