From 2e32a1f63c65f26f0c457fc733d6ea2f529f4b0c Mon Sep 17 00:00:00 2001
From: "gitmirror@antea" <xstill@fi.muni.cz>
Date: Fri, 16 Aug 2019 00:20:14 +0200
Subject: [PATCH] CI: Add CI config

---
 .gitlab-ci.yml | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 000000000..0bb22b33c
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,36 @@
+# common configuration parts
+.common: &common
+  before_script:
+    - rm -rf .git # ups
+  tags:
+    - shared-fi
+
+.debian: &debian
+  image: cxx:latest
+  script:
+    - apt-get update >& apt.log
+    - make prerequisites >& prerequisites.log
+    - make toolchain >& toolchain.log
+    - make CMAKE_EXTRA="-DOPT_Z3=OFF" >& build.log
+    - make unit >& unit.log
+    - make functional >& functional.log
+  artifacts:
+    paths:
+      - "*.log"
+    expire_in: 1 month
+    when: always
+
+# actual builds
+build_clang:
+  <<: *common
+  <<: *debian
+  variables:
+    CC: "clang"
+    CXX: "clang++"
+
+build_gcc:
+  <<: *common
+  <<: *debian
+  variables:
+    CC: "gcc"
+    CXX: "g++"
-- 
GitLab