objects/Specware in CVS?

[Andrew Halper <ashalper acm org>]

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

Thanks,
Andy