helm/xmltheory/Coq_v2theoryxml/Makefile

   1 COQTOP=/home/projects/helm/EXPORT/V7
   2 OCAMLC=ocamlc -I $(COQTOP)/config -I $(COQTOP)/toplevel
   3
   4 COQV2THEORYXMLOBJS= \
   5  $(COQTOP)/config/coq_config.cmo \
   6  $(COQTOP)/toplevel/usage.cmo \
   7  coq_v2theoryxml.cmo
   8
   9 coq_v2theoryxml: $(COQV2THEORYXMLOBJS)
  10         $(OCAMLC) -o $@ unix.cma $(COQV2THEORYXMLOBJS)
  11
  12 coq_v2theoryxml.cmo: coq_v2theoryxml.ml
  13         $(OCAMLC) -c $<
  14
  15 .PHONY: clean
  16 clean:
  17         rm -f coq_v2theoryxml *.cmo *.cmi