Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /config/releases/release-110.77/sml.bat
ViewVC logotype

Diff of /config/releases/release-110.77/sml.bat

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2503, Fri May 4 19:58:35 2007 UTC revision 2834, Fri Nov 2 19:01:28 2007 UTC
# Line 1  Line 1 
1  @echo OFF  @echo OFF
2    setlocal
3    if "%SMLNJ_HOME%"=="" set SMLNJ_HOME=%~dp0..
4    if NOT EXIST "%SMLNJ_HOME%\bin\.run\run.x86-win32.exe" set SMLNJ_HOME=%~dp0..
5    
6  set CM_PATHCONFIG=%SMLNJ_HOME%\lib\pathconfig  set CM_PATHCONFIG=%SMLNJ_HOME%\lib\pathconfig
7  "%SMLNJ_HOME%\bin\.run\run.x86-win32.exe" "@SMLload=%SMLNJ_HOME%\bin\.heap\sml" %*  "%SMLNJ_HOME%\bin\.run\run.x86-win32.exe" "@SMLload=%SMLNJ_HOME%\bin\.heap\sml" %*

Legend:
Removed from v.2503  
changed lines
  Added in v.2834

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0