diff options
Diffstat (limited to 'dist/mcode/winbuild.bat')
-rw-r--r-- | dist/mcode/winbuild.bat | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/dist/mcode/winbuild.bat b/dist/mcode/winbuild.bat deleted file mode 100644 index 670b77d1e..000000000 --- a/dist/mcode/winbuild.bat +++ /dev/null @@ -1,20 +0,0 @@ -call windows\compile
-if errorlevel 1 goto end
-
-call windows\complib
-if errorlevel 1 goto end
-
-strip build\ghdl.exe
-
-gnatmake windows/ghdlversion -o windows/ghdlversion.exe
-windows\ghdlversion < ..\..\src\version.ads > windows\version.nsi
-
-"c:\Program Files\NSIS\makensis" windows\ghdl.nsi
-if errorlevel 1 goto end
-
-exit /b 0
-
-:end
-echo "Error during compilation"
-exit /b 1
-
|