From c0221523d568ed7cbec1aa8a7c5be62cca8bc0aa Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 31 Mar 2023 16:56:04 +0200
Subject: [PATCH] [gitlab-ci] Run "make distcheck-configure" for merge
 requests.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 353f26eb40..67a82024cd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -44,6 +44,15 @@ ctest-modelchecking:
     expire_in: 1 week
     when: always
 
+ctest-distcheck:
+  stage: build
+  only:
+  - merge_requests
+  script:
+  - apt-get --allow-releaseinfo-change update
+  - apt install -y binutils
+  - cmake .
+  - make distcheck-configure
 
 release:
   stage: build
-- 
2.20.1