-stdlib:
- @echo "MATITACLEAN all"
- $(H)./matitaclean -system -conffile `pwd`/matita.conf.xml.build all
- @echo "MATITAMAKE init"
- $(H)MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
- ./matitamake -conffile `pwd`/matita.conf.xml.build \
- init build_stdlib `pwd`/library
- @echo "MATITAMAKE build"
- $(H)MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
- ./matitamake -conffile `pwd`/matita.conf.xml.build \
- build build_stdlib
-
-# MATITA_RT_BASE_DIR=`pwd` \
- $(MAKE) MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" -C library/ $(BEST)
-
-DEST = @RT_BASE_DIR@
+dist_pre: matitaGeneratedGui.ml matitaGeneratedGui.mli
+ $(MAKE) -C dist/ dist_pre
+
+DESTDIR = $(RT_BASE_DIR)