Skip to content
Snippets Groups Projects
Commit a3250505 authored by François Bobot's avatar François Bobot Committed by Virgile Prevosto
Browse files

[CI] Bump to llvm 7

parent 18765241
No related branches found
No related tags found
No related merge requests found
......@@ -5,9 +5,9 @@
plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml_version plugins;
name = "frama-clang";
deps = [ pkgs.llvmPackages_4.clang-unwrapped pkgs.llvm_4 pkgs.gnused ];
deps = [ pkgs.llvmPackages_7.clang-unwrapped pkgs.llvm_7 pkgs.gnused ];
opamPackages = [ "camlp4" ];
postPatch = ''
sed -i Makefile.config.in -e "s&@CLANG_INCDIR@&${pkgs.llvmPackages_4.clang-unwrapped}/include&"
sed -i Makefile.config.in -e "s&@CLANG_INCDIR@&${pkgs.llvmPackages_7.clang-unwrapped}/include&"
'';
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment