#
# Don't need any libraries.
#
OCAMLINCLUDES = -I . -I ../display -I $(CAMLP4LIB)

# Common files
MLZFILES =\
	package_sig\
	shell_sig\
	shell_p4_sig\

# Library files
MPFILES =\
	mptop\
	mux_channel\
	display_term\
	proof_edit\
	package_sig\
	package_info\
	shell_sig\
	shell_rewrite\
	shell_rule\
	shell_tex\
	shell_package\
	shell_root\
	recursive_lock\
	shell_state\
	shell_p4_sig\
	shell\

Theory($(MPFILES))

#
# Clean up
#
clean:
    $(CLEAN)

all: theory$(LIB_SUFFIX)
