COQTOP=/home/projects/helm/EXPORT/V7
OCAMLC=ocamlc -I $(COQTOP)/config -I $(COQTOP)/toplevel

COQV2THEORYXMLOBJS= \
 $(COQTOP)/config/coq_config.cmo \
 $(COQTOP)/toplevel/usage.cmo \
 coq_v2theoryxml.cmo 

coq_v2theoryxml: $(COQV2THEORYXMLOBJS)
	$(OCAMLC) -o $@ unix.cma $(COQV2THEORYXMLOBJS)

coq_v2theoryxml.cmo: coq_v2theoryxml.ml
	$(OCAMLC) -c $<

.PHONY: clean
clean:
	rm -f coq_v2theoryxml *.cmo *.cmi