# Common files
MLZFILES =\
	ocaml\
	ocaml_df

# Library files
MPFILES =\
	perv\
	nuprl_font\
	base_dform\
	comment\
	summary\
	ocaml\
	ocaml_base_df\
	ocaml_expr_df\
	ocaml_patt_df\
	ocaml_type_df\
	ocaml_mt_df\
	ocaml_me_df\
	ocaml_sig_df\
	ocaml_str_df\
	ocaml_df

Theory($(MPFILES))

#
# Clean up
#
clean:
    $(CLEAN)

all: theory$(LIB_SUFFIX)
