]> matita.cs.unibo.it Git - helm.git/blob - helm/xmltheory/Coq_v2theoryxml/Makefile
Bug fixed: wrong exception was raised (instead of returning false)
[helm.git] / 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