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.72/ml-build.bat
ViewVC logotype

Diff of /config/releases/release-110.72/ml-build.bat

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

revision 1496, Thu May 20 20:58:32 2004 UTC revision 1726, Wed Dec 15 17:56:42 2004 UTC
# Line 10  Line 10 
10    
11  set rare=XYZ_XXX_0123  set rare=XYZ_XXX_0123
12    
13  echo structure %rare% = struct val _ = SMLofNJ.exportFn ("%heap%", %main%) end >%smlfile%  echo structure %rare% = struct val _ = SMLofNJ.exportFn ("%heap%", %main%) end >"%smlfile%"
14    
15  echo Group structure %rare% is $/basis.cm %root% %smlfile% >%cmfile%  echo Group structure %rare% is $/basis.cm "%root%" %smlfile% >%cmfile%
16    
17  %COMSPEC% /C "%SMLNJ_HOME%\bin\sml.bat @CMbuild %root% %cmfile% %heap% %listfile% %linkargsfile%"  %COMSPEC% /C "%SMLNJ_HOME%\bin\sml.bat @CMbuild %root% %cmfile% %heap% %listfile% %linkargsfile%"
18  IF ERRORLEVEL 1 GOTO ERR  IF ERRORLEVEL 1 GOTO ERR
19  IF NOT EXIST %linkargsfile% GOTO END  IF NOT EXIST %linkargsfile% GOTO END
20  %SMLNJ_HOME%\bin\.run\run.x86-win32.exe @SMLboot=%listfile%  "%SMLNJ_HOME%\bin\.run\run.x86-win32.exe" @SMLboot=%listfile%
21  del %linkargsfile%  del %linkargsfile%
22  GOTO END  GOTO END
23    

Legend:
Removed from v.1496  
changed lines
  Added in v.1726

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