#
# Makefile for Calendar system formal specification.
#
MODULES =	caldb.rsl \
		file.rsl \
		edit.rsl \
		schedule.rsl \
		view.rsl \
		admin.rsl \
		options.rsl

# For quick gdb use:
#   caldb.rsl file.rsl edit.rsl schedule.rsl view.rsl admin.rsl options.rsl

ADMIN_MODULES =	admin-calendar-tool.rsl \
		$(MODULES)

USER_MODULES =	user-calendar-tool.rsl \
		$(MODULES)

UNREG_MODULES =	unregiseted-calendar-tool.rsl \
		$(MODULES)

ALTMODULES =	caldb-full-cal-model.rsl \
		file.rsl \
		edit.rsl \
		schedule.rsl \
		view.rsl \
		users.rsl \
		windows.rsl \
		help.rsl

440DIR =	/users/faculty/gfisher/classes/440
441DIR =	/users/faculty/gfisher/classes/441
#RSL =		$(440DIR)/bin/rsl -v
RSL =		/users/faculty/gfisher/bin/rsl -v
RSL =		/users/faculty/gfisher/bin/rsl
T++ =		/users/faculty/gfisher/work/rsl/implementation/t++ -v
RSL2DICT =	/users/faculty/gfisher/work/rsldoc/implementation/SUN4T-work-work/rsl2dict
RBROWSE =	/users/faculty/gfisher/bin/rbrowse


all:		$(MODULES)
		$(RSL) $(MODULES)
		cd rsldoc; make

allv:		$(MODULES)
		$(RSL) -v $(MODULES)

all++:		$(MODULES)
		$(T++) $(MODULES)

alldict:	$(MODULES)
		cd rsldoc; make

admin:		$(ADMIN_MODULES)
		$(RSL) $(ADMIN_MODULES)

user:		$(USER_MODULES)
		$(RSL) $(USER_MODULES)

unreg:		$(UNREG_MODULES)
		$(RSL) $(UNREG_MODULES)

alt:		$(ALTMODULES)
		$(RSL) $(ALTMODULES)

browse:		$(MODULES)
		$(RBROWSE) $(MODULES)