Commit 95fc7712 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[ci] prepare CI on clang-14

parent 737e38b7
Pipeline #43997 canceled with stages
......@@ -45,3 +45,11 @@ tests-on-llvm-13:
- nix/frama-ci.sh build -A frama-clang.on-llvm13.tests
tags:
- nix
when: manual
tests-on-llvm-14:
stage: tests
script:
- nix/frama-ci.sh build -A frama-clang.on-llvm14.tests
tags:
- nix
......@@ -4,7 +4,7 @@
plugin_extend ? self: super: { }
}:
let old_pkgs = pkgs; in # c9cfbe0899514952bdd324c717c374d704e475ef commit introducing llvm-14
let old_pkgs = pkgs; in
let frama_clang_build =
{ pkgs?old_pkgs,
......@@ -15,7 +15,7 @@ let frama_clang_build =
(plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml plugins plugin_extend;
name = "frama-clang-on-llvm-" + llvm_version;
deps = [ llvm_package.clang-unwrapped llvm pkgs.gnused ];
deps = [ llvm_package.clang-unwrapped.dev llvm.dev pkgs.gnused ];
opamPackages = [ "camlp5=7.14" ];
preFramaCTests = ''
echo CONFIGURING Why3 for Frama_Clang.
......@@ -25,8 +25,8 @@ let frama_clang_build =
});
pkgs = import (
builtins.fetchTarball {
url = "https://github.com/NixOS/nixpkgs/archive/ed2c99e65f4f5f4bf3bb3a3422f07fc8ec9a97ce.tar.gz";
sha256="1bp4fkswpl7s2clxbdbff8j42dsns4ihvc5l9399v9kapxb7wx5f";
url = "https://codeload.github.com/NixOS/nixpkgs/tar.gz/c9cfbe0899514952bdd324c717c374d704e475ef";
sha256="0jwlx0k723zm2cmj9ipddg5qi6qsv695ar0lxqqlafh9brzva5lf";
}
)
{};
......@@ -37,4 +37,5 @@ in
{ on-llvm11 = (frama_clang_build { llvm_version="11"; });
on-llvm12 = (frama_clang_build { llvm_version="12"; });
on-llvm13 = (frama_clang_build { inherit pkgs; llvm_version="13"; });
on-llvm14 = (frama_clang_build { inherit pkgs; llvm_version="14"; });
})
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment