diff --git a/nix/default.nix b/nix/default.nix index a60721c120618e8eebd26d0d505cd0e42b71c565..3525a5997a81998fbf31c5cad64289ef7ae0f622 100644 --- a/nix/default.nix +++ b/nix/default.nix @@ -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&" ''; }