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

[nix] if using unstable packages, use them for everything, including stdenv

Mixing package sources can link to interesting linking issues.
parent 3fd75812
No related branches found
No related tags found
No related merge requests found
...@@ -2,8 +2,12 @@ ...@@ -2,8 +2,12 @@
{ pkgs, stdenv, src ? ../., opam2nix, { pkgs, stdenv, src ? ../., opam2nix,
ocaml_version ? "ocamlPackages_latest.ocaml", plugins ? { } }: ocaml_version ? "ocamlPackages_latest.ocaml", plugins ? { } }:
let old_pkgs = pkgs; in
let frama_clang_build = let frama_clang_build =
{ llvm_version, { pkgs?old_pkgs,
stdenv?pkgs.stdenv,
llvm_version,
llvm?pkgs.${"llvm_"+llvm_version}, llvm?pkgs.${"llvm_"+llvm_version},
llvm_package?pkgs.${"llvmPackages_"+llvm_version} } : llvm_package?pkgs.${"llvmPackages_"+llvm_version} } :
...@@ -19,6 +23,16 @@ let frama_clang_build = ...@@ -19,6 +23,16 @@ let frama_clang_build =
''; '';
}); });
in in
let newer_nix = pkgs.fetchFromGitHub {
owner = "nixos";
repo = "nixpkgs";
rev = "bb46a6eb7c6a0faf08263e0564c51910bfbd83c7";
sha256 = "15w1321wbm3vpk4qmj6d9pz3y522c0q32gkccj82c3fandb9ppj6";
fetchSubmodules = true;
};
in
let new_pkgs = import newer_nix {};
in
(frama_clang_build { llvm_version="9"; }) (frama_clang_build { llvm_version="9"; })
// { on-llvm10 = (frama_clang_build { llvm_version="10"; });} // { on-llvm10 = (frama_clang_build { llvm_version="10"; });}
// { on-llvm11 = (frama_clang_build { llvm_version="11"; });} // { on-llvm11 = (frama_clang_build { pkgs = new_pkgs; llvm_version="11";});}
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