####
#
#
# RETAIN THE FOLLOWING COMMENT, FILLING IN XXX AS APPROPRIATE:
#
# Top-level makefile for the full XXX project.  It cd's to the appropriate
# project sudirs to do the makes there.
#
#
# DELETE THE FOLLOWING COMMENT:
#
# This is a generic Makefile for building a full project.  It is designed to
# reside in the top-level of a project directory hierarchy.  (As a generic
# template, it is stored under support/configuration, to avoid conflict between
# it and the operational support Makefile.)
#
# The rules of this file cd to each project subdir and run make there.  The
# subdir makefiles descend further into the project hierarchy as appropriate.
# This follows the conventions set forth in support/documentation/conventions/
# makefile.{html,pdf,ps}, q.v.
#
#

project:
	csh -q -c "cd requirements; \
		   make ps-image-links; \
		   make"
	csh -q -c "cd specification; \
		   make"
	csh -q -c "cd design; \
		   make"
	csh -q -c "cd implementation/JVM; \
		   make"
	csh -q -c "cd testing/implementation/JVM; \
		   make"
	csh -q -c "cd documentation; \
		   make"