Skip to content

Commit c756b42

Browse files
committed
Add z3javascript to Travis
1 parent e38615c commit c756b42

File tree

1 file changed

+22
-0
lines changed

1 file changed

+22
-0
lines changed

.travis.yml

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
dist: trusty
2+
3+
matrix:
4+
include:
5+
- os: linux
6+
addons:
7+
apt:
8+
sources:
9+
- llvm-toolchain-trusty-5.0
10+
packages:
11+
- clang-5.0
12+
env:
13+
- MATRIX_EVAL="CC=clang-5.0 && CXX=clang++-5.0"
14+
15+
before_install:
16+
- eval "${MATRIX_EVAL}"
17+
18+
language: node_js
19+
node_js: "lts/*"
20+
21+
install: npm install --clang=1
22+
script: npm test

0 commit comments

Comments
 (0)