From 2ccaec60a18d8bed48ffb08b073e583c363195e1 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 23 Jun 2022 12:09:42 +0200
Subject: [PATCH] ci: another try to fix this camlp-streams dep issue
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6a2724e..087ed8b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -15,7 +15,7 @@ build_and_test:
script:
- sudo apt-get install -y m4
- opam update
- - opam install --deps-only lutils.opam
+ - opam install --deps-only ./lutils.opam
- make
- make install
- cd test
--
GitLab