diff options
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.cirrus.yml b/.cirrus.yml new file mode 100644 index 00000000..4ea4a7f1 --- /dev/null +++ b/.cirrus.yml @@ -0,0 +1,16 @@ +task: + freebsd_instance: + matrix: + - image: freebsd-11-2-release-amd64 + - image: freebsd-12-0-release-amd64 + deps_script: + - pkg install -y llvm80 gmake z3 cmake pkgconf google-perftools python3 python36 py36-sqlite3 py36-tabulate + build_script: + - mkdir build + - cd build + - cmake -DLLVM_CONFIG_BINARY=/usr/local/bin/llvm-config80 -DMAKE_BINARY=/usr/local/bin/gmake -DENABLE_TCMALLOC:BOOL=true -DENABLE_POSIX_RUNTIME:BOOL=ON -DENABLE_SOLVER_Z3:BOOL=true -DENABLE_SYSTEM_TESTS:BOOL=ON .. + - gmake + test_script: + - sed -i.bak -e 's/lit\./lit80\./' test/lit.cfg + - cd build + - gmake check |