Permalink
Fetching contributors…
Cannot retrieve contributors at this time
91 lines (68 sloc) 2.2 KB
image:
- Visual Studio 2015
environment:
matrix:
- PYTHON: "C:\\Python27-x64"
PYTHON_VERSION: "2.7.x"
PYTHON_ARCH: "64"
PYSMT_SOLVER: "None"
- PYTHON: "C:\\Python36-x64"
PYTHON_VERSION: "3.6.x"
PYTHON_ARCH: "64"
PYSMT_SOLVER: "None"
- PYTHON: "C:\\Python27"
PYTHON_VERSION: "2.7.x"
PYTHON_ARCH: "32"
PYSMT_SOLVER: "z3"
- PYTHON: "C:\\Python27-x64"
PYTHON_VERSION: "2.7.x"
PYTHON_ARCH: "64"
PYSMT_SOLVER: "z3"
- PYTHON: "C:\\Python36"
PYTHON_VERSION: "3.6.x"
PYTHON_ARCH: "32"
PYSMT_SOLVER: "z3"
- PYTHON: "C:\\Python36-x64"
PYTHON_VERSION: "3.6.x"
PYTHON_ARCH: "64"
PYSMT_SOLVER: "z3"
- PYTHON: "C:\\Python27-x64"
PYTHON_VERSION: "2.7.x"
PYTHON_ARCH: "64"
PYSMT_SOLVER: "msat"
- PYTHON: "C:\\Python36-x64"
PYTHON_VERSION: "3.6.x"
PYTHON_ARCH: "64"
PYSMT_SOLVER: "msat"
install:
# Install Python (from the official .msi of http://python.org) and pip when
# not already installed.
- ps: "./ci/appveyor/install.ps1"
# Prepend newly installed Python to the PATH of this build (this cannot be
# done from inside the powershell script as it would require to restart
# the parent CMD process).
- cmd: "SET PATH=%PYTHON%;%PYTHON%\\Scripts;%PATH%"
# Check that we have the expected version and architecture for Python
- cmd: "python --version"
- cmd: "python -c \"import struct; print(struct.calcsize('P') * 8)\""
- cmd: "pip install -r dev-requirements.txt"
# Update setputools
- cmd: "pip install --upgrade setuptools"
# Install the solvers
- cmd: "python install.py --confirm-agreement"
# Set and check the pythonpath
- cmd: "python install.py --env > bindings_path.bat"
- cmd: "call ./bindings_path.bat"
- ECHO "PythonPath=%PYTHONPATH%"
- ECHO "Path=%PATH%"
build: false
test_script:
- cmd: "python install.py --check"
- cmd: "nosetests -v "
# after_test:
# # If tests are successful, create a whl package for the project.
# - cmd: "python setup.py bdist_wheel bdist_wininst"
# - ps: "ls dist"
# artifacts:
# # Archive the generated wheel package in the ci.appveyor.com build report.
# - path: dist\*