diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-04-14 19:19:41 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-04-29 19:18:43 +0100 |
| commit | fd8ec5c7322cfd68774dc2125323bb6f9283c8da (patch) | |
| tree | 4910883b313fcba97da633a1dc7971fe5421b8f4 /.cirrus.yml | |
| parent | 5f8541ea1bb007af182cdda6080e3e46fce8e271 (diff) | |
| download | klee-fd8ec5c7322cfd68774dc2125323bb6f9283c8da.tar.gz | |
Add a configuration file for Cirrus CI.
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 |