]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/xml/Makefile
f1037d90e9508a371b73bd76917f4ba679a59e15
[helm.git] / helm / ocaml / xml / Makefile
1 PACKAGE = xml
2 REQUIRES =
3 PREDICATES =
4
5 DEPOBJS = xml.mli xml.ml
6
7 OBJECTS = xml.cmo
8
9 include ../Makefile.common