# library_auto
TEST_DIRS_OPT = \
$(TEST_DIRS) \
- contribs/LAMBDA-TYPES \
+# contribs/LAMBDA-TYPES \
$(NULL)
.PHONY: tests tests.opt cleantests cleantests.opt
ln -fs matita $(WHERE)/$$p;\
done
$(H)cp -a library/ $(WHERE)/ma/standard-library
+ $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
$(H)touch install_preliminaries.stamp