# Change this line for your own site
WWWDIR = /var/www/html/ResBinSc

WWWFILES = index.php \
	header.inc \
	footer.inc \
	examples.php \
	syntax.php \
	info.php \
	download.php



CAMLC=ocamlc
CAMLYACC=ocamlyacc
CAMLLEX=ocamllex

resolution_po : lexer.cmo parser.cmo types.cmo listc.cmo resolvant.cmo subsomption.cmo resolution_po.cmo
	$(CAMLC) -o resolution_po  unix.cma lexer.cmo types.cmo parser.cmo  listc.cmo resolvant.cmo subsomption.cmo resolution_po.cmo


resolution_po.cmo: resolution_po.ml  types.cmo lexer.cmo parser.cmo listc.cmo resolvant.cmo
	$(CAMLC) -c resolution_po.ml

resolvant.cmo : resolvant.ml  types.cmo listc.cmo
	$(CAMLC) -c resolvant.ml

subsomption.cmo : subsomption.ml types.cmo listc.cmo
	$(CAMLC) -c subsomption.ml

listc.cmo : listc.ml
	$(CAMLC) -c listc.ml

lexer.ml: lexer.mll parser.cmo
	$(CAMLLEX) lexer.mll

parser.mli parser.ml: parser.mly types.cmo
	$(CAMLYACC) parser.mly

lexer.cmo: parser.cmi

parser.cmi: parser.mli
	$(CAMLC) -c parser.mli

resolution_po.cmo: lexer.cmo parser.cmo types.cmo

types.cmo : types.ml
	$(CAMLC) -c types.ml

lexer.cmo : lexer.ml
	$(CAMLC) -c lexer.ml

parser.cmo: parser.ml parser.cmi
	$(CAMLC) -c parser.ml

clean:
	rm -f lexer.ml parser.ml *.mli *.cmi  *.cmo resolution_po

www : resolution_po $(WWWFILES)
	cp resolution_po $(WWWFILES) $(WWWDIR)
	chmod a+rx $(WWWDIR)/*

