diff --git a/nix/default.nix b/nix/default.nix index 6decd85ca18d0a348861b788431df8e2f84ac335..c60e08b12529e01b22cd5678a202b948b3b6d01a 100644 --- a/nix/default.nix +++ b/nix/default.nix @@ -1,6 +1,8 @@ # paramaterised derivation with dependencies injected (callPackage style) { pkgs, stdenv, src ? ../., opam2nix, - ocaml_version ? "ocamlPackages_latest.ocaml", plugins ? { } }: + ocaml_version ? "ocamlPackages_latest.ocaml", plugins ? { }, + plugin_extend ? self: super: { } + }: let old_pkgs = pkgs; in @@ -11,7 +13,7 @@ let frama_clang_build = llvm?pkgs.${"llvm_"+llvm_version}, llvm_package?pkgs.${"llvmPackages_"+llvm_version} } : (plugins.helpers.simple_plugin - { inherit pkgs stdenv src opam2nix ocaml_version plugins; + { inherit pkgs stdenv src opam2nix ocaml_version plugins plugin_extend; name = "frama-clang-on-llvm-" + llvm_version; deps = [ llvm_package.clang-unwrapped llvm pkgs.gnused ]; opamPackages = [ { name = "camlp5"; constraint="=7.14";} ];