From cbc0c6ae51d682c592b42a7c574659e10fefdacd Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel.hym@univ-lille.fr>
Date: Wed, 29 Jun 2022 12:43:22 +0200
Subject: [PATCH] CI: Use the standard make recipe using cabal
---
.gitlab-ci.yml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2a98a64..98c1f19 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,8 +5,7 @@ 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
+ - make build_cabal
artifacts:
paths:
- digger
--
GitLab