Removing redundant verus script from src.

Moving verus.bat from src to scr/fiat
Adjusting gitlab-ci configuration and Mac release packaging script to comform to the changes.
This commit is contained in:
Asher Dawes
2018-10-27 18:00:53 -07:00
parent 95b8f04f77
commit 0868246437
4 changed files with 3 additions and 8 deletions

14
src/fiat/verus.bat Normal file
View File

@@ -0,0 +1,14 @@
@call :GET_CURRENT_DIR
@cd %THIS_DIR%
komodo-cli.exe -ac_name=VRSC %1 %2 %3 %4 %5 %6 %7 %8 %9
@goto :EOF
:GET_CURRENT_DIR
@pushd %~dp0
@set THIS_DIR=%CD%
@popd
@goto :EOF