diff --git a/nix/default.nix b/nix/default.nix index 28a102ded88260ef6b0c7a0d238f1d3517891996..a60721c120618e8eebd26d0d505cd0e42b71c565 100644 --- a/nix/default.nix +++ b/nix/default.nix @@ -5,6 +5,9 @@ plugins.helpers.simple_plugin { inherit pkgs stdenv src opam2nix ocaml_version plugins; name = "frama-clang"; - deps = [ pkgs.clang_4 pkgs.llvm_4 ]; + deps = [ pkgs.llvmPackages_4.clang-unwrapped pkgs.llvm_4 pkgs.gnused ]; opamPackages = [ "camlp4" ]; + postPatch = '' + sed -i Makefile.config.in -e "s&@CLANG_INCDIR@&${pkgs.llvmPackages_4.clang-unwrapped}/include&" + ''; }