-
Notifications
You must be signed in to change notification settings - Fork 0
/
autotest.bat
57 lines (50 loc) · 2.5 KB
/
autotest.bat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
@echo off
rem
rem -- This batch automatically tests ccsc and ccsrc so that fatal bugs can be found more easily.
rem
set FAIL="bat\failed.tmp"
pushd %0\..
cls
echo ---Making ccsc.hs---
stack build :ccsc --copy-bins --local-bin-path .
echo ---Finished---
echo.
echo ---Making ccsrc.hs---
stack build :ccsrc --copy-bins --local-bin-path .
echo ---Finished---
echo.
call bat\setlogname testresult
type nul > %LOG%
if exist %FAIL% del %FAIL%
for /F "usebackq eol=; delims=" %%i in (`type bat\Elist.txt`) do ( call :tester ccsc -E CS PCS C11test %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C22list.txt`) do ( call :tester ccsc -C22 PCS HCCS C22test %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C33list.txt`) do ( call :tester ccsc -C33 HCCS CCS_for C33test %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C48list.txt`) do ( call :tester ccsc -C48 CCS BF_c C48test %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C48list2.txt`) do ( call :tester ccsc -C48 CCS_rev BF_c C48testr %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C48list3.txt`) do ( call :tester ccsc -C48 CCS_for BF_c C48testf %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C88list1.txt`) do ( call :tester ccsc -C88 BF BF_c C88test %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C88list2.txt`) do ( call :tester ccsc -C88 BF_i BF_c C88testi %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C78list1.txt`) do ( call :tester ccsc -C78 ND BF_c C78test %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\C78list2.txt`) do ( call :tester ccsc -C78 ND_rev BF_c C78testr %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\R88list.txt`) do ( call :tester ccsrc -C88 BF_c BF_i R88test %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\R87list.txt`) do ( call :tester ccsrc -C87 BF_c ND_rev R87test %%i )
for /F "usebackq eol=; delims=" %%i in (`type bat\R84list.txt`) do ( call :tester ccsrc -C84 BF_c CCS_rev R84test %%i )
call bat\jigo testresult
pause
exit
rem #$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$
rem #$#$#$#$#$#$# MAIN THINGS END HERE $#$#$#$#$#$#$
rem #$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$
rem ccsc -C48 CCS BF_c C48test %%i
:tester
setlocal
set compiler=%1
set option=%2
set frm=%3
set to=%4
set tmp=%5
set name=%6
set num=%7
call bat\compile examples %compiler% %option% -f0.6 __%frm%\%name%__%frm%.txt %tmp%%num% __%to%\%name%__%to%.txt
endlocal
exit /b