Changed speed benchmark for i31 to a 521-bit modulus.
[BearSSL] / mk / mkT0.cmd
1 @echo off
2
3 rem =====================================================================
4 rem This script uses the command-line C# compiler csc.exe, which is
5 rem provided with the .NET framework. We need framework 3.5 or later
6 rem (some of the code uses features not available in the language version
7 rem implemented in the compiler provided with framework 2.0.50727).
8 rem =====================================================================
9
10 if exist "%SystemRoot%\Microsoft.NET\Framework\v3.5\csc.exe" (
11 set CSC="%SystemRoot%\Microsoft.NET\Framework\v3.5\csc.exe"
12 goto do_compile
13 )
14 if exist "%SystemRoot%\Microsoft.NET\Framework\v4.0.30319\csc.exe" (
15 set CSC="%SystemRoot%\Microsoft.NET\Framework\v4.0.30319\csc.exe"
16 goto do_compile
17 )
18 if exist "%SystemRoot%\Microsoft.NET\Framework64\v3.5\csc.exe" (
19 set CSC="%SystemRoot%\Microsoft.NET\Framework64\v3.5\csc.exe"
20 goto do_compile
21 )
22 if exist "%SystemRoot%\Microsoft.NET\Framework64\v4.0.30319\csc.exe" (
23 set CSC="%SystemRoot%\Microsoft.NET\Framework64\v4.0.30319\csc.exe"
24 goto do_compile
25 )
26
27 echo C# compiler not found
28 exit 1
29
30 :do_compile
31 %CSC% /nologo /out:T0Comp.exe /main:T0Comp /res:T0\kern.t0,t0-kernel T0\*.cs
32 if %errorlevel% neq 0 exit /b %errorlevel%