X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile;h=75d8787808c055eedd68185baf1b467ae834e25f;hb=742332c845b599fbdaa86a02e21a5f223a4783f9;hp=3f65ab53860377761d05c75c21b19c2bafd806e6;hpb=7be6aeb94aa8da17732511a4844bd108976f947f;p=helm.git

diff --git a/helm/matita/Makefile b/helm/matita/Makefile
index 3f65ab538..75d878780 100644
--- a/helm/matita/Makefile
+++ b/helm/matita/Makefile
@@ -59,32 +59,26 @@ PROGRAMS = $(PROGRAMS_BYTE) matitatop
 PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
 
 .PHONY: all
-all: matita.conf.xml $(PROGRAMS) coq.moo
-
-matita.conf.xml: matita.conf.xml.sample
-	@if diff matita.conf.xml.sample matita.conf.xml 1>/dev/null 2>/dev/null; then\
-		touch matita.conf.xml;\
-	else\
-		echo;\
-		echo "matita.conf.xml.sample is newer than matita.conf.xml";\
-		echo;\
-		echo "PLEASE update your configuration file!";\
-		echo "(copying matita.conf.xml.sample should work)";\
-		echo;\
-		false;\
-	fi
-
-matita.conf.xml.sample: matita.conf.xml.sample.in
-	autoconf
-	./configure
-	@echo 
-	@echo "WARNING: The configuration sample file has changed!"
-	@echo 
-
-coq.moo: library/legacy/coq.ma matitac
-	./matitac $(MATITA_FLAGS) $<
-coq.moo.opt: library/legacy/coq.ma matitac.opt
-	./matitac.opt $(MATITA_FLAGS) $<
+all: $(PROGRAMS)
+#  all: matita.conf.xml $(PROGRAMS) coq.moo
+
+#  matita.conf.xml: matita.conf.xml.sample
+#          @if diff matita.conf.xml.sample matita.conf.xml 1>/dev/null 2>/dev/null; then\
+#                  touch matita.conf.xml;\
+#          else\
+#                  echo;\
+#                  echo "matita.conf.xml.sample is newer than matita.conf.xml";\
+#                  echo;\
+#                  echo "PLEASE update your configuration file!";\
+#                  echo "(copying matita.conf.xml.sample should work)";\
+#                  echo;\
+#                  false;\
+#          fi
+
+#  coq.moo: library/legacy/coq.ma matitac
+#          ./matitac $(MATITA_FLAGS) $<
+#  coq.moo.opt: library/legacy/coq.ma matitac.opt
+#          ./matitac.opt $(MATITA_FLAGS) $<
 
 ifeq ($(HAVE_OCAMLOPT),yes)
 
@@ -190,6 +184,44 @@ cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt)
 
 # {{{ Distribution stuff
 
+ifeq ($(wildcard matitac.opt),matitac.opt)
+BEST=opt
+else
+BEST=all
+endif
+
+stdlib:
+	MATITA_RT_BASE_DIR=`pwd` \
+	MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
+		./matitamake -init build_stdlib
+
+#          MATITA_RT_BASE_DIR=`pwd` \
+		$(MAKE) MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" -C library/ $(BEST)
+
+DEST = @RT_BASE_DIR@
+INSTALL_STUFF = 			\
+	icons/ 				\
+	matita.gtkrc 			\
+	matita.lang 			\
+	matita.ma.templ 		\
+	core_notation.moo 		\
+	matita.conf.xml 		\
+	closed.xml 			\
+	gtkmathview.matita.conf.xml 	\
+	template_makefile.in 		\
+	library/ 			\
+	$(PROGRAMS_BYTE)		\
+	$(NULL)
+ifeq ($(HAVE_OCAMLOPT),yes)
+INSTALL_STUFF += $(PROGRAMS_OPT)
+endif
+
+install:
+	install -d $(DEST)
+	cp -a .matita/
+	cp -a $(INSTALL_STUFF) $(DEST)
+uninstall:
+
 STATIC_LINK = dist/static_link/static_link
 # for matita
 STATIC_LIBS =	\
@@ -253,10 +285,9 @@ cicbrowser.opt.static.upx: matita.opt.static.upx
 distclean: clean
 	$(MAKE) -C dist/ clean
 	rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
-	rm -f config.log config.status Makefile buildTimeConf.ml
+	rm -f buildTimeConf.ml
 	rm -f matita.glade.bak matita.gladep.bak
-	rm -rf autom4te.cache/
-	rm -f configure matita.conf.xml.sample
+	rm -f matita.conf.xml.sample
 
 %.upx: %
 	cp $< $@