diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4e1757b29b6cd1f14747a526e628ce75cab263bf..de4bd25c46705a144ad99e9ecafebbcd12b9d2b1 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 00797fab725725d79fd003a9fe107e50a964d635..5fb7879ef7604b9d91b73d2f53cb1224d68bf073 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 { };