#
# Makefile for Calendar system formal specification.
#
MODULES =	file.rsl \
		edit.rsl \
		schedule.rsl \
		view.rsl \
		users.rsl \
		windows.rsl \
		help.rsl

440DIR =	/home/phoenix/faculty1/gfisher/classes/440
441DIR =	/home/phoenix/faculty1/gfisher/classes/441
#RSL =		$(440DIR)/bin/rsl
RSL =		/home/phoenix/faculty1/gfisher/src/rsl/alpha/t


all:		$(MODULES)
		$(RSL) $(MODULES)