Re: objects/Specware in CVS?

[Lennon Day-Reynolds <lennon kestrel edu>]

That was my short-lived plugin development project's dirty laundry, and 
Lars was kind enough to help me out with some issues I was having...I 
have to admit, though, I was worried to see this come up in my inbox 
this morning, as I am deathly afraid of the community at large seeing my 
abysmal C coding skills. ;)

Lennon Day-Reynolds
Software Engineer
Kestrel Institute


Lars Clausen wrote:

> On Wed, 18 Jul 2001, Andrew Halper wrote:
>
>
> > Anyone know about this one in the current CVS tree?
> >
> > Making all in Specware
> > make[3]: Entering directory `/usr/opt/src/dia/objects/Specware'
> > make[3]: *** No rule to make target `all'.  Stop.
> > make[3]: Leaving directory `/usr/opt/src/dia/objects/Specware'
> > make[2]: *** [all-recursive] Error 1
> > make[2]: Leaving directory `/usr/opt/src/dia/objects'
> > make[1]: *** [all-recursive] Error 1
> > make[1]: Leaving directory `/usr/opt/src/dia'
> > make: *** [all-recursive-am] Error 2
> >
> > "Specware" is in SUBDIRS in objects/Makefile.am, but it doesn't look
> > like objects/Specware is in the repository anymore (or maybe I'm not
> > updating my sandbox properly).
>
> My bad, I committed the changed Makefile.am and never included the rest.
> I'll just take it out...there.
>
> -Lars