#
# Makefile for Calendar system formal specification documentaion generation.
# This file is a clone of ../Makefile, with the addition of a path definition
# to point to the FMSL source files in .. .  The point is that we want to put
# the fmsldoc-generated html files in this fmsldoc dir, and use the FMSL source
# files without copying them.
#
SRCDIR =	..

MODULES =	$(SRCDIR)/caldb.fmsl \
		$(SRCDIR)/file.fmsl \
		$(SRCDIR)/edit.fmsl \
		$(SRCDIR)/schedule.fmsl \
		$(SRCDIR)/view.fmsl \
		$(SRCDIR)/admin.fmsl \
		$(SRCDIR)/multi-user.fmsl \
		$(SRCDIR)/options.fmsl

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

ADMIN_MODULES =	$(SRCDIR)/admin-calendar-tool.fmsl \
		$(MODULES)

USER_MODULES =	$(SRCDIR)/user-calendar-tool.fmsl \
		$(MODULES)

UNREG_MODULES =	$(SRCDIR)/unregiseted-calendar-tool.fmsl \
		$(MODULES)

ALTMODULES =	$(SRCDIR)/caldb-full-cal-model.fmsl \
		$(SRCDIR)/file.fmsl \
		$(SRCDIR)/edit.fmsl \
		$(SRCDIR)/schedule.fmsl \
		$(SRCDIR)/view.fmsl \
		$(SRCDIR)/users.fmsl \
		$(SRCDIR)/windows.fmsl \
		$(SRCDIR)/help.fmsl

440DIR =	/users/gfisher/classes/440
441DIR =	/users/gfisher/classes/441
#FMSL =		$(440DIR)/bin/fmsl -v
#FMSL =		/users/gfisher/bin/fmsl
FMSL =		/users/gfisher/bin/fmsl -v
T++ =		/users/gfisher/work/fmsl/implementation/t++ -v
FMSLDOC =	/users/gfisher/bin/fmsldoc
RBROWSE =	/users/gfisher/bin/rbrowse

LIBRARY =	/users/gfisher/work/fmsl/library/retention-and-no-junk.fmsl


alldict:	$(MODULES)
		$(FMSLDOC) $(MODULES) $(LIBRARY)

admin:		$(ADMIN_MODULES)
		$(FMSLDOC) $(ADMIN_MODULES)

user:		$(USER_MODULES)
		$(FMSLDOC) $(USER_MODULES) $(LIBRARY)

unreg:		$(UNREG_MODULES)
		$(FMSLDOC) $(UNREG_MODULES)

alt:		$(ALTMODULES)
		$(FMSLDOC) $(ALTMODULES)

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