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

SCM Repository

[smlnj] View of /config/trunk/sml.bat
ViewVC logotype

View of /config/trunk/sml.bat

Parent Directory Parent Directory | Revision Log Revision Log

Revision 4234 - (download) (as text) (annotate)
Thu Jun 16 19:08:25 2016 UTC (3 years, 1 month ago) by jhr
File size: 314 byte(s)
  Fix for bug #150 (Add title to batch script)
@echo OFF
title Standard ML of New Jersey
if "%SMLNJ_HOME%"=="" set SMLNJ_HOME=%~dp0\..
if NOT EXIST "%SMLNJ_HOME%\bin\.run\run.x86-win32.exe" set SMLNJ_HOME=%~dp0\..

set CM_PATHCONFIG=%SMLNJ_HOME%\lib\pathconfig
"%SMLNJ_HOME%\bin\.run\run.x86-win32.exe" "@SMLload=%SMLNJ_HOME%\bin\.heap\sml" %*

ViewVC Help
Powered by ViewVC 1.0.0