CVS: sml-dist/src/cm/tools/mllex tool.sml,1.2,1.3

Update of /cvsroot/smlnj/sml-dist/src/cm/tools/mllex
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv27912/src/cm/tools/mllex

Modified Files:
	tool.sml 
Log Message:
sources for ml-flex added; integration partially done

Index: tool.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/cm/tools/mllex/tool.sml,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** tool.sml	14 Dec 2000 16:01:32 -0000	1.2
--- tool.sml	24 Feb 2006 22:23:53 -0000	1.3
***************
*** 7,18 ****
   *)
  structure LexTool = struct
      val _ = Tools.registerStdShellCmdTool
  	{ tool = "ML-Lex",
  	  class = "mllex",
  	  suffixes = ["lex", "l"],
! 	  cmdStdPath = "ml-lex",
  	  template = NONE,
! 	  extensionStyle =
! 	      Tools.EXTEND [("sml", SOME "sml", fn too => too)],
  	  dflopts = [] }
  end
--- 7,23 ----
   *)
  structure LexTool = struct
+     val legacy_control =
+ 	Tools.boolcontrol ("use-legacy-lex",
+ 			   "whether to use the old ml-lex instead of ml-flex",
+ 			   true)
+ 
      val _ = Tools.registerStdShellCmdTool
  	{ tool = "ML-Lex",
  	  class = "mllex",
  	  suffixes = ["lex", "l"],
! 	  cmdStdPath = fn () => if #get legacy_control () then "ml-lex"
! 				else "ml-flex",
  	  template = NONE,
! 	  extensionStyle = Tools.EXTEND [("sml", SOME "sml", fn too => too)],
  	  dflopts = [] }
  end



-------------------------------------------------------
This SF.Net email is sponsored by xPML, a groundbreaking scripting language
that extends applications into web and mobile media. Attend the live webcast
and join the prime developer group breaking into this new coding territory!
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=110944&bid=241720&dat=121642