From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 8 Nov 2000 17:09:08 +0000 (+0000)
Subject: Makefile acceptable. Ready to start packaging.
X-Git-Tag: nogzip~193
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=064b235360d702059b8b8154830365bca334bfde

Makefile acceptable. Ready to start packaging.
---

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/Makefile
index 57a384903..009d756d5 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/Makefile
@@ -6,9 +6,15 @@ MLFLAGS += -I $(LABLGTKDIR) -I $(MINIDOMDIR)
 
 TARGETS = ml_gtk_mathview.o lablgtkmathview.cma
 
-all: $(TARGETS)
+all: Minidom $(TARGETS)
 
-opt: lablgtkmathviewopt
+opt: Minidom.opt lablgtkmathviewopt
+
+Minidom:
+	cd minidom ; make
+
+Minidom.opt:
+	cd minidom ; make opt
 
 configure:
 	@rm -f config.make
@@ -95,5 +101,6 @@ ml_gtk.o: $(LABLGTKDIR)/gtk_tags.c $(LABLGTKDIR)/gtk_tags.h \
 
 clean:
 	rm -f *.cm* *.o *.a *_tags.[ch] $(TARGETS)
+	cd minidom ; make clean
 
 include .depend
diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile
index c64b0496b..db9447fee 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile
@@ -1,36 +1,35 @@
 
-all: ml_minidom.o minidom.cmi minidom.cmo minidom.cmx test test.opt
+all: test
+
+opt: test.opt
 
 ml_minidom.o: ml_minidom.c
-	gcc -c -I../ -I/usr/lib/ocaml/caml/ `glib-config --cflags` `xml-config --cflags` `gtkmathview-config --cflags` $<
+	gcc -c -I/usr/lib/ocaml/caml/ `glib-config --cflags` `xml-config --cflags` `gtkmathview-config --cflags` $<
 
 minidom.cmi: minidom.mli
 	ocamlc -c $<
 
-minidom.cmo: minidom.ml
+minidom.cmo: minidom.ml minidom.cmi
 	ocamlc -c $<
 
-minidom.cmx: minidom.ml
+minidom.cmx: minidom.ml minidom.cmi
 	ocamlopt -c $<
 
-test.cmo: test.ml
+test.cmo: test.ml minidom.cmo
 	ocamlc -c test.ml
 
-test.cmx: test.ml
+test.cmx: test.ml minidom.cmx
 	ocamlopt -c test.ml
 
-test: test.cmo minidom.cmi ml_minidom.o
+test: test.cmo minidom.cmo ml_minidom.o
 	ocamlc -custom -o test minidom.cmo test.cmo ml_minidom.o \
         -cclib "`xml-config --libs`" -cclib "`glib-config --libs`" \
         -cclib "`gtkmathview-config --libs`"
 
-test.opt: test.cmx minidom.cmi ml_minidom.o
+test.opt: test.cmx minidom.cmx ml_minidom.o
 	ocamlopt -o test.opt minidom.cmx test.cmx ml_minidom.o \
         -cclib "`xml-config --libs`" -cclib "`glib-config --libs`" \
         -cclib "`gtkmathview-config --libs`"
 
 clean:
 	rm -f *.o *.cm? test test.opt
-
-cleanbak:
-	rm -f *~