OCAMLC=ocamlc.opt

SRC	= tools\
         zarith\
         bsmllib\
         bsmlutils\
         bsmlbase\
         bsmlcomm

ML      = $(SRC:=.ml)
MLI     = $(SRC:=.mli)
CMO	= $(ML:.ml=.cmo)
CMI	= $(ML:.mli=.cmi)

all: doc

include .depend

.SUFFIXES: .ml .mli .cmo .cmi

.mli.cmi:
	$(OCAMLC) -c $<

.ml.cmo:
	$(OCAMLC) -c $<
	
doc: $(CMO) $(CMI)
	ocamldoc -t "The Certified BSMLlib Library"  -keep-code  -html -colorize-code *.ml *.mli -d ../lib		
	
clean:
	rm -f .depend
	rm -f *.cmo
	rm -f *.cmi
