diff options
| -rw-r--r-- | .appveyor.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.appveyor.yml b/.appveyor.yml index c7a6f4f8..5a6b3b38 100644 --- a/.appveyor.yml +++ b/.appveyor.yml @@ -16,8 +16,6 @@ environment: APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017 PLATFORM_TOOLSET: v141 PYTHON: c:\Python27-x64 - Z3_INCLUDE_DIRS: c:\projects\triton\build\z3-4.6.0-x64-win\include - Z3_LIBRARIES: c:\projects\triton\build\z3-4.6.0-x64-win\bin\libz3.lib # on_finish: # - ps: $blockRdp = $true; iex ((new-object net.webclient).DownloadString('https://raw.githubusercontent.com/appveyor/ci/master/scripts/enable-rdp.ps1')) @@ -30,7 +28,6 @@ install: build_script: - cmd: if "%platform%"=="Win32" call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x86 - cmd: if "%platform%"=="x64" call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 - - cmd: cd c:\projects\miasm - "%PYTHON%\\python.exe setup.py build" - "%PYTHON%\\python.exe setup.py install" |