--- Makefile.orig Tue Jul 18 16:16:44 2000 +++ Makefile Fri Apr 12 00:37:51 2002 @@ -25,6 +25,7 @@ cd toolssrc; make all cd lex; make all cd launch; make all + cd dynlibs; make all uptodate: cd runtime; make all @@ -35,6 +36,7 @@ cd toolssrc; make all cd lex; make all cd launch; make all + cd dynlibs; make all # Recompile all Mosml code from scratch again: @@ -58,6 +60,7 @@ cd compiler; make install cd toolssrc; make install cd lex; make install + cd dynlibs; make install (cd $(INCDIR)/..; rm -f config; ln -s include config) cd doc; make install