From 7b0e4740bcdfcb26436ee3e2acdb150b9b4a2ed2 Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel.hym@univ-lille.fr>
Date: Wed, 29 Jun 2022 12:56:25 +0200
Subject: [PATCH] CI: Update the debian version
Follow the update of the Coq docker image to Debian Bullseye
Use cabal exec which to find the path to the executable, since cabal has
been updated
---
.ci/sources.list | 4 ++--
.gitlab-ci.yml | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/.ci/sources.list b/.ci/sources.list
index 34836ad..58aa2f7 100644
--- a/.ci/sources.list
+++ b/.ci/sources.list
@@ -1,2 +1,2 @@
-deb http://debian.polytech-lille.fr/debian buster main
-deb http://debian.polytech-lille.fr/debian buster-updates main
+deb http://debian.polytech-lille.fr/debian bullseye main
+deb http://debian.polytech-lille.fr/debian bullseye-updates main
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2a98a64..b3be0a8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,8 +5,8 @@ build:
script:
- opam config list
- .ci/apt-get.sh ghc cabal-install libghc-language-c-dev libghc-wl-pprint-text-dev libghc-optparse-applicative-dev libghc-data-default-dev libghc-aeson-dev
- - cabal build
- - cp dist/build/digger/digger digger
+ - cabal v2-build
+ - cp $(cabal v2-exec which digger) digger
artifacts:
paths:
- digger
--
GitLab