From 9e40a32fd1cdaf11b2b80c711fe55077f4bea859 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 4 Oct 2023 17:22:35 +0200
Subject: [PATCH] * .gitlab-ci.yml: Add a centos7 build.

---
 .gitlab-ci.yml | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b0d4f48ed..c9ed140ff 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -478,3 +478,29 @@ raspbian:
       - ./spot-*/_build/sub/tests/*/*.log
       - ./*.log
       - ./*.tar.gz
+
+centos7:
+  stage: build2
+  needs:
+    - job: make-dist
+      artifacts: true
+  variables:
+    GIT_STRATEGY: none
+  only:
+    - branches
+  except:
+    - /wip/
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/centos7
+  script:
+    - VERSION=`cat VERSION`
+    - tar xvf spot-$VERSION.tar.gz
+    - mkdir build-$VERSION
+    - cd build-$VERSION
+    - scl enable devtoolset-7 "../spot-$VERSION/configure --enable-devel"
+    - scl enable devtoolset-7 make
+    - scl enable devtoolset-7 "make distcheck DISTCHECK_CONFIGURE_FLAGS='--enable-devel --enable-optimizations'"
+  artifacts:
+    when: on_failure
+    paths:
+      - build-*/spot-*/_build/sub/tests/*/*.log
+      - build-*/*.log