Skip to content
Permalink
Browse files

Trying to fix windows build that was broken but was not reporting errors

  • Loading branch information...
mikand committed Apr 2, 2019
1 parent b1ca119 commit f772bb003bbfca3a7b9163c1e8ab7e14af32f7c7
Showing with 17 additions and 6 deletions.
  1. +4 −4 azure-pipelines.yml
  2. +8 −0 ci/{install_win.ps1 → install_win.sh}
  3. +0 −2 ci/run_win.ps1
  4. +5 −0 ci/run_win.sh
@@ -294,7 +294,7 @@ jobs:
PYSMT_SOLVER: "msat"
Py37Msat:
PYTHON_VERSION: '3.7'
PYSMT_SOLVER: "msat"
PYSMT_SOLVEnR: "msat"
Py27Z3:
PYTHON_VERSION: '2.7'
PYSMT_SOLVER: "z3"
@@ -306,7 +306,7 @@ jobs:
inputs:
versionSpec: '$(PYTHON_VERSION)'
architecture: 'x64'
- powershell: ci/install_win.ps1
- bash: ci/install_win.sh
displayName: 'Prepare System'
- powershell: ci/run_win.ps1
displayName: 'Prepare System'
- bash: ci/run_win.sh
displayName: 'Testing'
@@ -1,3 +1,11 @@
#!/bin/bash
set -ev

if [ "${PYTHON_VERSION}" == "2.7" ]
then
choco install vcpython27
fi

python --version
python -c "import struct; print(struct.calcsize('P') * 8)"
python -m pip install -r dev-requirements.txt

This file was deleted.

Oops, something went wrong.
@@ -0,0 +1,5 @@
#!/bin/bash
set -ev

python install.py --check
python -m nose -v

0 comments on commit f772bb0

Please sign in to comment.
You can’t perform that action at this time.