Re: Larch for Linux

To: larch-interest@src.dec.com
Subject: Re: Larch for Linux
From: Joachim Schrod <schrod@iti.informatik.th-darmstadt.de>
Date: Fri, 8 Jul 1994 12:55:23 +0100 (MESZ)
Delivery-Date: Fri, 08 Jul 94 04:01:53 -0700
In-Reply-To: <9407080808.AA09780@ibis.genrad.co.uk> from "Steve Tracey" at Jul 8, 94 09:08:17 am

Steve Tracey wrote:
> 
> > The prover is more of a problem since it appears to be written in CLU
> > and I don't know of a Linux CLU system.  If one exists, I suspect that
> > lp would compile pretty much as is.
> 
> There is a "portable CLU system" at mintaka.lcs.mit.edu:/pub/dcurtis/

I think, it's better to use lcs.mit.edu:/pub/pclu

European folks might want to use the mirror
ftp.th-darmstadt.de:pub/programming/languages/clu/pclu/.

Btw, the whole Larch software is available from there as well. (In
.../languages/larch/.) Mirrored weekly.

> I suspect that the difficulty is to port the "conservative C garbage
> collector" first.

As far as I know, the Boehm collector supports Linux. (At least, the
README says so.)

Cheers,
	Joachim

--
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Joachim Schrod			Email: schrod@iti.informatik.th-darmstadt.de
Computer Science Department
Technical University of Darmstadt, Germany

Reference(s):

Re: Larch for Linux

From: Steve Tracey <steve@genrad.co.uk>