From 4a77da3fea40b9ebf30cbee0c2ca8d1832ba0b82 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Wed, 12 Mar 2025 17:18:44 +0100
Subject: [PATCH] [ci] use llvm-19 in CI
---
.gitlab-ci.yml | 4 ++--
nix/pkgs.nix | 2 ++
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4e1757b2..de4bd25c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -52,14 +52,14 @@ tests-auto:
<<: *tests_template
parallel:
matrix:
- - LLVM_VERSION: [ "12", "18" ]
+ - LLVM_VERSION: [ "12", "19" ]
tests-manual:
<<: *tests_template
<<: *manual_template
parallel:
matrix:
- - LLVM_VERSION: [ "13", "14", "15", "16", "17" ]
+ - LLVM_VERSION: [ "13", "14", "15", "16", "17", "18" ]
################################################################################
### DISTRIB
diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 00797fab..5fb7879e 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -18,6 +18,8 @@ let
oself.callPackage ./frama-clang.nix { llvmPackages=pkgs.llvmPackages_17; };
frama-clang-llvm-18 =
oself.callPackage ./frama-clang.nix { llvmPackages=pkgs.llvmPackages_18; };
+ frama-clang-llvm-19 =
+ oself.callPackage ./frama-clang.nix { llvmPackages=pkgs.llvmPackages_19; };
frama-clang = oself.frama-clang-llvm-12 ;
frama-clang-manual =
oself.callPackage ./frama-clang-manual.nix { };
--
GitLab