From c5424e1c848777c5804c53cc8cb6a02835c7ee39 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 5 Jul 2021 15:01:06 +0200
Subject: [PATCH] have a CI build with PyPy

This fixes #467.

* .gitlab-ci.yml (debian-unstable-gcc-pypy): New Build.
---
 .gitlab-ci.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c2b038338..15e9f4b50 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -59,6 +59,24 @@ debian-unstable-gcc-coverage:
       - ./*.tar.gz
       - spot2.info
 
+debian-unstable-gcc-pypy:
+  stage: build
+  only:
+    - branches
+  except:
+    - /wip/
+  image: gitlab-registry.lrde.epita.fr/spot/buildenv/debian
+  script:
+    - autoreconf -vfi
+    - ./configure PYTHON=/usr/bin/pypy3 --disable-static
+    - make
+    - make check TESTS='$(TESTS_python) $(TESTS_ipython)'
+  artifacts:
+    when: always
+    paths:
+      - tests/*/*.log
+      - ./*.log
+
 debian-gcc-snapshot:
   stage: build
   only: