#
# Makefile for Calendar system formal specification.
#
MODULES =	caldb.sl \
		file.sl \
		edit.sl \
		schedule.sl \
		view.sl \
		admin.sl \
		multi-user.sl \
		options.sl

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

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

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

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

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

440DIR =	/users/gfisher/classes/440
441DIR =	/users/gfisher/classes/441
#SPECL =		$(440DIR)/bin/specl -v
SPECL =		/users/gfisher/bin/specl -v
SPECL =		/users/gfisher/bin/specl
T++ =		/users/gfisher/work/specl/implementation/t++ -v
SPECL2DICT =	/users/gfisher/work/specldoc/implementation/SUN4T-work-work/specl2dict
RBROWSE =	/users/gfisher/bin/rbrowse -bg white

LIBRARY =

normal:		$(MODULES)
		$(SPECL) $(MODULES) $(LIBRARY)

doc:		$(MODULES)
		cd specldoc; make

all:		normal doc


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

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

alldict:	$(MODULES)
		cd specldoc; make

admin:		$(ADMIN_MODULES)
		$(SPECL) $(ADMIN_MODULES)

user:		$(USER_MODULES)
		$(SPECL) $(USER_MODULES)

unreg:		$(UNREG_MODULES)
		$(SPECL) $(UNREG_MODULES)

alt:		$(ALTMODULES)
		$(SPECL) $(ALTMODULES)

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