X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;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=0000000000000000000000000000000000000000;hp=6fe73af6a3a311569826b4349e1c1ec01b529177;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

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
deleted file mode 100644
index 6fe73af6a..000000000
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
+++ /dev/null
@@ -1,51 +0,0 @@
-LIBDIR = /usr/lib/ocaml
-INSTALLDIR = $(LIBDIR)/minidom
-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
-
-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.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)
-
-clean:
-	rm -f *.o *.cm? test test.opt