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

WWWFILES = index.php \
	header.inc \
	footer.inc \
	examples.php \
	syntax.php \
	info.php \
	download.php \
	me-english.pdf \
	me-français.pdf



CAMLC=ocamlc
CAMLYACC=ocamlyacc
CAMLLEX=ocamllex

me_prover_without_lemma : lexer.cmo parser.cmo types.cmo listc.cmo subsomption.cmo rules.cmo \
	affichage_preuves.cmo me_prover_without_lemma.cmo
	$(CAMLC) -o me_prover_without_lemma  unix.cma lexer.cmo types.cmo parser.cmo  listc.cmo \
	affichage_preuves.cmo subsomption.cmo rules.cmo  me_prover_without_lemma.cmo

me_prover_with_lemma : lexer.cmo parser.cmo types.cmo listc.cmo subsomption.cmo rules.cmo \
	affichage_preuves.cmo me_prover_with_lemma.cmo
	$(CAMLC) -o me_prover_with_lemma  unix.cma lexer.cmo types.cmo parser.cmo  listc.cmo  \
	affichage_preuves.cmo subsomption.cmo rules.cmo  me_prover_with_lemma.cmo


me_prover_without_lemma.cmo: me_prover_without_lemma.ml  types.cmo lexer.cmo parser.cmo listc.cmo rules.cmo
	$(CAMLC) -c me_prover_without_lemma.ml

me_prover_with_lemma.cmo: me_prover_with_lemma.ml  types.cmo lexer.cmo parser.cmo listc.cmo rules.cmo
	$(CAMLC) -c me_prover_with_lemma.ml

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

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

affichage_preuves.cmo : affichage_preuves.ml types.cmo listc.cmo
	$(CAMLC) -c affichage_preuves.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


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 me_prover_with_lemma me_prover_without_lemma

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

all : me_prover_with_lemma me_prover_without_lemma
