bugfix: mkdir now works also for realtive directories

[helm.git] / helm / matita / Makefile

diff --git a/helm/matita/Makefile b/helm/matita/Makefile
index 3f65ab53860377761d05c75c21b19c2bafd806e6..75d8787808c055eedd68185baf1b467ae834e25f 100644 (file)
--- 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 $< $@