X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2FMakefile;fp=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2FMakefile;h=15f84731adf8cf1f2676e201dfc2a5d4badabaee;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
new file mode 100644
index 000000000..15f84731a
--- /dev/null
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
@@ -0,0 +1,48 @@
+LIBDIR = /usr/lib/ocaml
+INSTALLDIR = $(LIBDIR)/minidom
+OBJECTS = minidom.cmi minidom.cmo ml_minidom.o ominidom.cmo
+OBJECTS_OPT = minidom.cmx ominidom.cmx
+INST = minidom.o ominidom.o ml_minidom.h minidom.mli
+
+all: $(OBJECTS) test
+
+opt: $(OBJECTS_OPT) test.opt
+
+ml_minidom.o: ml_minidom.c
+	gcc -c -I/usr/lib/ocaml/caml/ `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.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) $(INSTALLDIR)
+
+clean:
+	rm -f *.o *.cm? test test.opt