Re: [Sks-devel] patch to fix common.ml generation/compilation (1.0.5)

[Yaron M. Minsky]

I updated my local setup to eliminate the commons.src.ml.  Now I just
use sed as a preprocessor for common.ml.  Much simpler, and no extra
file to confuse you.

y

On Thu, 2003-12-04 at 06:50, Yaron M. Minsky wrote:
> On Wed, 2003-12-03 at 11:15, Fabio Massimo Di Nitto wrote:
> > On Wed, 3 Dec 2003, Yaron M. Minsky wrote:
> > 
> > > Thanks, but that one is already fixed in latest CVS version.  I hope to
> > > release 1.0.6 in the next couple of days.
> > >
> > 
> > Hi again,
> >     i can see that the compilation part is fixed, but wouldn't be a
> > good idea to wipe away common.ml in clean: and from the repository and let
> > make creating it when appropriate?
> 
> Good idea.   I'll make that change.
> 
> > Thanks
> > Fabio
-- 
|--------/            Yaron M. Minsky              \--------|
|--------\ http://www.cs.cornell.edu/home/yminsky/ /--------|

Open PGP --- KeyID B1FFD916
Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916