Initial revision

[helm.git] / helm / xmltheory / Coq_v2theoryxml / Makefile

diff --git a/helm/xmltheory/Coq_v2theoryxml/Makefile b/helm/xmltheory/Coq_v2theoryxml/Makefile
new file mode 100644 (file)
index 0000000..1f9fae5
--- /dev/null
+++ b/helm/xmltheory/Coq_v2theoryxml/Makefile
@@ -0,0 +1,17 @@
+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