[mercury-users] Debian packages of Mercury
    Zoltan Somogyi 
    zs at cs.mu.OZ.AU
       
    Thu May 13 02:25:47 AEST 2004
    
    
  
On 12-May-2004, Peter Hawkins <peter at hawkins.emu.id.au> wrote:
> I have created Debian packages of Mercury ROTD 2004-03-27, primarily for my 
> own use. However, since they may be of assistance to others who use Debian 
> and Mercury, you can get them from:
> http://www.cs.mu.oz.au/~hawkinsp/
Thanks.
> (Incidentally I found ccache [0] very handy when fixing the packaging since it
> saved a lot of time on rebuilds of C files. Has anyone considered producing a 
> similar tool for Mercury?)
Not as far as I know. In the 80s I designed a very primitive form of such
a system from NU-Prolog, the previous logic programming system developed
in our department, and one of my friends (John Shepherd) implemented it.
I will add the idea to the list of projects available for summer students.
Zoltan.
--------------------------------------------------------------------------
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