Skip to content
Snippets Groups Projects
Commit e5a36e8a authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[nix] extend compilation instructions for all llvm versions

parent 37ff37e3
No related branches found
No related tags found
No related merge requests found
# 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";} ];
......
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