makefile

OCAMLPREFIX=
OCAMLC=         $(OCAMLPREFIX)ocamlc
OCAMLOPT=       $(OCAMLPREFIX)ocamlopt.opt
OCAMLYACC=      $(OCAMLPREFIX)ocamlyacc -v
OCAMLLEX=       $(OCAMLPREFIX)ocamllex
OCAMLDEP=       $(OCAMLPREFIX)ocamldep
OCAMLINCLUDES=
OCAMLFLAGS=     -warn-error a $(OCAMLINCLUDES)
%.ml: %.mll
	$(OCAMLLEX) $*.mll
%.ml %.mli: %.mly
	$(OCAMLYACC) $*.mly
%.cmo: %.ml %.cmi
	$(OCAMLC) $(OCAMLFLAGS) -c $*.ml
%.cmx: %.ml %.cmi
	$(OCAMLOPT) $(OCAMLFLAGS) -c $*.ml
%.cmi: %.mli
	$(OCAMLC) $(OCAMLFLAGS) -c $*.mli
%.cmo: %.ml
	$(OCAMLC) $(OCAMLFLAGS) -c $*.ml
%.cmx: %.ml
	$(OCAMLOPT) $(OCAMLFLAGS) -c $*.ml
all: analyzer
AUTOGEN_ML= 	parser.ml lexer.ml
AUTOGEN_MLI=	parser.mli
AUTOGEN=	$(AUTOGEN_ML) $(AUTOGEN_MLI)
ML_FILES=	utils.ml \
		simple_C_syntax.ml \
		offset.ml \
		domain_sig.ml \
		inductive_def.ml \
		neq_pred_domain.ml \
		SL_graph_domain.ml \
		SL_domain.ml \
		simple_prod_SL.ml \
		pred_prod_SL.ml \
		functor_SL2DIS.ml \
		functor_DIS2DOM.ml \
		xml_gen.ml \
		$(AUTOGEN_ML) \
		main.ml
MLI_FILES=	$(AUTOGEN_MLI)
CMI_FILES=	$(MLI_FILES:%.mli=%.cmi) 
CMX_FILES=      $(ML_FILES:%.ml=%.cmx)
analyzer: $(CMX_FILES) 
	ocamlopt $(CMX_FILES) -o analyzer
clean: 
	rm -f *.cmi *.cmx *.o && \
	rm -f analyzer *~ debug.log $(AUTOGEN) \
	rm *.output