CVS: sml-dist HISTORY,1.463,1.464

Matthias Blume <[email protected]>
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1708

Modified Files:
	HISTORY 
Log Message:
fixed bootstrap problem with previous change

Index: HISTORY
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/HISTORY,v
retrieving revision 1.463
retrieving revision 1.464
diff -C2 -d -r1.463 -r1.464
*** HISTORY	15 Nov 2005 22:38:48 -0000	1.463
--- HISTORY	16 Nov 2005 03:37:03 -0000	1.464
***************
*** 15,18 ****
--- 15,37 ----
  ----------------------------------------------------------------------
  Name: Matthias Blume (http://www.tti-c.org/blume/)
+ Date: 2005/11/15 21:35:00 CST
+ Tag: blume-22051115-versiontool
+ Description:
+ 
+ Reversed change to src/system/smlnj/internals/versiontool.cm.  This
+ file gets loaded as a tool -- by the equivalent of CM.make during the
+ run of CMB.make.  Thus, CMB's path configuration is meaningless for
+ it.  Instead, it has the status of "user code", so it should use
+ $/basis.cm to refer to the Basis library.  (At least that's true for
+ the purpose of bootstrapping the previous change.  In the future it
+ might make sense to have versiontool.cm refer to
+ $smlnj/basis/basis.cm, i.e., the version of the Basis that the
+ compiler itself uses.)
+ 
+ Also patched src/system/testml to have it activate those extra anchor
+ bindings in config/extrapathconfig.
+ 
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (http://www.tti-c.org/blume/)
  Date: 2005/11/15 16:35:00 CST
  Tag: blume-22051115-libraries



-------------------------------------------------------
This SF.Net email is sponsored by the JBoss Inc.  Get Certified Today
Register for a JBoss Training Course.  Free Certification Exam
for All Training Attendees Through End of 2005. For more info visit:
http://ads.osdn.com/?ad_id=7628&alloc_id=16845&op=click
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.