Re: objects/Specware in CVS?

[Lars Clausen <lrclause cs uiuc edu>]

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

-- 
Lars Clausen (http://shasta.cs.uiuc.edu/~lrclause) | Hårdgrim of Numenor
"I do not agree with a word that you say, but I    | Retainer of Sir Kegg
will defend to the death your right to say it."    |   of Westfield
    --Evelyn Beatrice Hall paraphrasing Voltaire   | Chaos Berserker of Khorne