X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2FMakefile;h=d5a1685d2e530af5f9fe68dd890053dd6023eb81;hb=c5c48f3d3515f1dd95657245922ec1f340e17f70;hp=57a3849032a6e566e05ebb94a3cc6d153bc9cd82;hpb=3305472858d756f9d4293d7f9e9f0257a51a1164;p=helm.git

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..d5a1685d2 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
@@ -84,6 +90,7 @@ install:
 	if test -f lablgtkmathview.cmxa; then \
 	   cp $(MLLIBS:.cma=.cmxa) $(MLLIBS:.cma=.a) \
 	      $(INSTALLDIR); fi
+	cd minidom ; make install
 
 lablgtkmathview.cma: $(MLOBJS)
 	$(LINKER) -a -custom -o $@ $(MLOBJS) $(GTKLIBS) $(GTKMATHVIEWLIBS)
@@ -95,5 +102,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