# {{{ Distribution stuff
+ifeq ($(HAVE_OCAMLOPT),yes)
+BEST=opt
+else
+BEST=all
+endif
+
stdlib:
- $(MAKE) MATITA_FLAGS="-system" -C library/
+ MATITA_RT_BASE_DIR=`pwd` \
+ $(MAKE) MATITA_FLAGS="-system" -C library/ $(BEST)
DEST = @RT_BASE_DIR@
INSTALL_STUFF = \
install:
install -d $(DEST)
+ cp -a .matita/
cp -a $(INSTALL_STUFF) $(DEST)
uninstall: