SCM Repository
[smlnj] Annotation of /sml/trunk/config/ml-build.bat
Annotation of /sml/trunk/config/ml-build.bat
Parent Directory
|
Revision Log
Revision 1342 -
(view)
(download)
(as text)
1 : |
mblume |
1342 |
set root=%1%
|
2 : |
|
|
set main=%2%
|
3 : |
|
|
set heap=%3%
|
4 : |
|
|
|
5 : |
|
|
set smlfile=XYZ_XXX_smlfile.sml
|
6 : |
|
|
set cmfile=XYZ_XXX_cmfile.cm
|
7 : |
|
|
set listfile=XYZ_XXX_BOOTLIST
|
8 : |
|
|
set linkargsfile=XYZ_XXX_LINKARGS
|
9 : |
|
|
|
10 : |
|
|
set rare=XYZ_XXX_0123
|
11 : |
|
|
|
12 : |
|
|
echo structure %rare% = struct val _ = SMLofNJ.exportFn ("%heap%", %main%) end >%smlfile%
|
13 : |
|
|
|
14 : |
|
|
echo Group structure %rare% is $/basis.cm %root% %smlfile% >%cmfile%
|
15 : |
|
|
|
16 : |
|
|
%COMSPEC% /C "%SMLNJ_HOME%\bin\sml @CMbuild %root% %cmfile% %heap% %listfile% %linkargsfile%"
|
17 : |
|
|
IF ERRORLEVEL 1 GOTO ERR
|
18 : |
|
|
IF NOT EXIST %linkargsfile% GOTO END
|
19 : |
|
|
%SMLNJ_HOME%\bin\.run\run.x86-win32 @SMLboot=%listfile%
|
20 : |
|
|
del %linkargsfile%
|
21 : |
|
|
GOTO END
|
22 : |
|
|
|
23 : |
|
|
:ERR
|
24 : |
|
|
echo Compilation failed with error.
|
25 : |
|
|
|
26 : |
|
|
:END
|
27 : |
|
|
REM more cleaning up
|
28 : |
|
|
del %smlfile% %cmfile% %listfile%
|