From fd8ec5c7322cfd68774dc2125323bb6f9283c8da Mon Sep 17 00:00:00 2001
From: Gleb Popov <6yearold@gmail.com>
Date: Sun, 14 Apr 2019 19:19:41 +0400
Subject: Add a configuration file for Cirrus CI.

---
 .cirrus.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .cirrus.yml

(limited to '.cirrus.yml')

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
-- 
cgit 1.4.1