#
# Don't need any libraries.
#
DIR := support/display
ROOT := ../..

include $(ROOT)/mk/preface

INCLUDE := -I . -I $(CAMLP4LIB)
OCAMLDEPFLAGS := -prl
PRLCFLAGS := -v

# 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

# Name of main libraris
MAIN = theory

all: $(MAIN).cma
opt: $(MAIN).cmxa
install:: all

clean::
	$(RM) -f *.p4* *.pp*

# Real makefile
include $(ROOT)/mk/rules
include Makefile.dep
