/
appveyor.yml
101 lines (77 loc) · 2.69 KB
/
appveyor.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
environment:
global:
# SDK v7.0 MSVC Express 2008's SetEnv.cmd script will fail if the
# /E:ON and /V:ON options are not enabled in the batch script intepreter
# See: http://stackoverflow.com/a/13751649/163740
CMD_IN_ENV: "cmd /E:ON /V:ON /C .\\ci\\appveyor\\run_with_env.cmd"
matrix:
# - PYTHON: "C:\\Python27"
# PYTHON_VERSION: "2.7.8"
# PYTHON_ARCH: "32"
# PYSMT_SOLVER: "None"
# - PYTHON: "C:\\Python27-x64"
# PYTHON_VERSION: "2.7.8"
# PYTHON_ARCH: "64"
# PYSMT_SOLVER: "None"
# - PYTHON: "C:\\Python35"
# PYTHON_VERSION: "3.5.2"
# PYTHON_ARCH: "32"
# PYSMT_SOLVER: "None"
# - PYTHON: "C:\\Python35-x64"
# PYTHON_VERSION: "3.5.2"
# PYTHON_ARCH: "64"
# PYSMT_SOLVER: "None"
# - PYTHON: "C:\\Python27"
# PYTHON_VERSION: "2.7.8"
# PYTHON_ARCH: "32"
# PYSMT_SOLVER: "z3"
# - PYTHON: "C:\\Python27-x64"
# PYTHON_VERSION: "2.7.8"
# PYTHON_ARCH: "64"
# PYSMT_SOLVER: "z3"
# - PYTHON: "C:\\Python35"
# PYTHON_VERSION: "3.5.2"
# PYTHON_ARCH: "32"
# PYSMT_SOLVER: "z3"
# - PYTHON: "C:\\Python35-x64"
# PYTHON_VERSION: "3.5.2"
# PYTHON_ARCH: "64"
# PYSMT_SOLVER: "z3"
- PYTHON: "C:\\Python35-x64"
PYTHON_VERSION: "3.5.2"
PYTHON_ARCH: "64"
PYSMT_SOLVER: "msat"
install:
- ECHO "Filesystem root:"
- ps: "ls \"C:/\""
- ECHO "Installed SDKs:"
- ps: "ls \"C:/Program Files/Microsoft SDKs/Windows\""
# Install Python (from the official .msi of http://python.org) and pip when
# not already installed.
- "powershell ./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).
- "SET PATH=%PYTHON%;%PYTHON%\\Scripts;%PATH%"
# Check that we have the expected version and architecture for Python
- "python --version"
- "python -c \"import struct; print(struct.calcsize('P') * 8)\""
- "%CMD_IN_ENV% pip install -r dev-requirements.txt"
# Install the solvers
- "%CMD_IN_ENV% python install.py --confirm-agreement"
# Set the pythonpath
- "python install.py --env > bindings_path.bat"
- call ./bindings_path.bat
- ECHO "PythonPath=%PYTHONPATH%"
- ECHO "Path=%PATH%"
build: false
test_script:
- "%CMD_IN_ENV% python install.py --check"
- "%CMD_IN_ENV% nosetests -v "
# after_test:
# # If tests are successful, create a whl package for the project.
# - "%CMD_IN_ENV% 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\*