diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-08-28 22:51:21 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-08-28 22:51:21 +0200 |
commit | a114da2cc9f6caca4824582eea75ec91b8439cc7 (patch) | |
tree | 97ee933852e2d9fb9855b192313dc68c2bc95c11 /test/monniaux/BearSSL | |
parent | 23a129e18ae930de5f40df59307c48c68d62d8d7 (diff) | |
download | compcert-kvx-a114da2cc9f6caca4824582eea75ec91b8439cc7.tar.gz compcert-kvx-a114da2cc9f6caca4824582eea75ec91b8439cc7.zip |
merge upstream including fma fixes
Diffstat (limited to 'test/monniaux/BearSSL')
-rw-r--r-- | test/monniaux/BearSSL/mk/mkT0.cmd | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/test/monniaux/BearSSL/mk/mkT0.cmd b/test/monniaux/BearSSL/mk/mkT0.cmd deleted file mode 100644 index 98955625..00000000 --- a/test/monniaux/BearSSL/mk/mkT0.cmd +++ /dev/null @@ -1,32 +0,0 @@ -@echo off
-
-rem =====================================================================
-rem This script uses the command-line C# compiler csc.exe, which is
-rem provided with the .NET framework. We need framework 3.5 or later
-rem (some of the code uses features not available in the language version
-rem implemented in the compiler provided with framework 2.0.50727).
-rem =====================================================================
-
-if exist "%SystemRoot%\Microsoft.NET\Framework\v3.5\csc.exe" (
- set CSC="%SystemRoot%\Microsoft.NET\Framework\v3.5\csc.exe"
- goto do_compile
-)
-if exist "%SystemRoot%\Microsoft.NET\Framework\v4.0.30319\csc.exe" (
- set CSC="%SystemRoot%\Microsoft.NET\Framework\v4.0.30319\csc.exe"
- goto do_compile
-)
-if exist "%SystemRoot%\Microsoft.NET\Framework64\v3.5\csc.exe" (
- set CSC="%SystemRoot%\Microsoft.NET\Framework64\v3.5\csc.exe"
- goto do_compile
-)
-if exist "%SystemRoot%\Microsoft.NET\Framework64\v4.0.30319\csc.exe" (
- set CSC="%SystemRoot%\Microsoft.NET\Framework64\v4.0.30319\csc.exe"
- goto do_compile
-)
-
-echo C# compiler not found
-exit 1
-
-:do_compile
-%CSC% /nologo /out:T0Comp.exe /main:T0Comp /res:T0\kern.t0,t0-kernel T0\*.cs
-if %errorlevel% neq 0 exit /b %errorlevel%
|