]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/Makefile.in
This commit was manufactured by cvs2svn to create branch 'xmltheory'.
[helm.git] / helm / DEVEL / mlminidom / Makefile.in
diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
deleted file mode 100644 (file)
index 47c48f6..0000000
+++ /dev/null
@@ -1,70 +0,0 @@
-PACKAGE = @PACKAGE@
-VERSION = @VERSION@
-INCLUDEDIR = @OCAML_INCLUDE_DIR@
-LIBDIR = @OCAML_LIB_DIR@
-INSTALLDIR = $(LIBDIR)/mlminidom
-OBJECTS = minidom.cmi minidom.cmo ml_minidom.o ominidom.cmi ominidom.cmo
-OBJECTS_OPT = minidom.cmx ominidom.cmx
-INST = minidom.o ominidom.o ml_minidom.h minidom.mli ml_minidom.h
-DIST_FILES = Makefile.in configure.in configure *.ml *.mli test.xml ml_minidom.c ml_minidom.h
-DOC_FILES = AUTHORS COPYING ChangeLog NEWS README
-
-all: $(OBJECTS) test
-
-opt: $(OBJECTS_OPT) test.opt
-
-dist:
-       rm -rf $(PACKAGE)-$(VERSION)
-       mkdir $(PACKAGE)-$(VERSION)
-       cp $(DIST_FILES) $(DOC_FILES) $(PACKAGE)-$(VERSION)
-       tar cvfz $(PACKAGE)-$(VERSION).tar.gz $(PACKAGE)-$(VERSION)
-       rm -rf $(PACKAGE)-$(VERSION)
-       
-ml_minidom.o: ml_minidom.c
-       gcc -c -I$(INCLUDEDIR) `glib-config --cflags` `minidom-config --cflags` $<
-
-minidom.cmi: minidom.mli
-       ocamlc -c $<
-
-minidom.cmo: minidom.ml minidom.cmi
-       ocamlc -c $<
-
-minidom.cmx: minidom.ml minidom.cmi
-       ocamlopt -c $<
-
-ominidom.cmi: ominidom.mli
-       ocamlc -c $<
-
-ominidom.cmo: ominidom.ml
-       ocamlc -c $<
-
-ominidom.cmx: ominidom.ml
-       ocamlopt -c $<
-
-test.cmo: test.ml minidom.cmo
-       ocamlc -c test.ml
-
-test.cmx: test.ml minidom.cmx
-       ocamlopt -c test.ml
-
-test: test.cmo minidom.cmo ml_minidom.o
-       ocamlc -custom -o test minidom.cmo test.cmo ml_minidom.o \
-        -cclib "`glib-config --libs` `minidom-config --libs`"
-
-test.opt: test.cmx minidom.cmx ml_minidom.o
-       ocamlopt -o test.opt minidom.cmx test.cmx ml_minidom.o \
-        -cclib "`glib-config --libs` `minidom-config --libs`"
-
-install:
-       if test -d $(INSTALLDIR); then : ; else mkdir -p $(INSTALLDIR); fi
-       cp $(OBJECTS) $(OBJECTS_OPT) $(INST) $(INSTALLDIR)
-
-uninstall:
-       rm -rf $(INSTALLDIR)
-
-clean:
-       rm -f *.o *.cm? test test.opt
-
-distclean: clean
-       rm -f configure config.log config.cache config.status Makefile
-