From 69f237a547d6658820b1130425de9ba9cbf270f5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 13 Jun 2022 12:54:00 +0200
Subject: [PATCH] [ci] fix rule

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a68bd7abb73..ca3289fe787 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -48,7 +48,7 @@ header-check:
   stage: build
   script:
     - ls -la
-    - nix-shell nix/pkgs.nix -A ocaml-ng.ocamlPackages_4_12.frama-c-checkers-shell
+    - nix-shell nix/pkgs.nix -A ocaml-ng.ocamlPackages_$OCAML.frama-c-checkers-shell
         --run 'FRAMAC_HDRCK="" make -f share/Makefile.headers check-headers'
   tags:
     - nix
-- 
GitLab