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

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



CAMLC=ocamlc 
CAMLYACC=ocamlyacc
CAMLLEX=ocamllex

assistant : lexer.cmo parser.cmo print.cmo prouveur.cmo assistant.cmo
	$(CAMLC) -o assistant lexer.cmo parser.cmo print.cmo  prouveur.cmo assistant.cmo

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


prouveur.cmo: prouveur.ml  tableau.cmo print.cmo lexer.cmo parser.cmo 
	$(CAMLC) -c prouveur.ml

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

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

lexer.cmo: parser.cmi

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


print.cmo : print.ml 
	$(CAMLC) -c  tableau.cmo  print.ml
	
	

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

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

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

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

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