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
> 
>