diff --git a/nix/default.nix b/nix/default.nix index b99327f848f377826911fdcb9dec13fce8929dc1..f876508f282d19d2e57ec1edd8660aac857d463d 100644 --- a/nix/default.nix +++ b/nix/default.nix @@ -2,19 +2,10 @@ { pkgs, stdenv, src ? ../., opam2nix, ocaml_version ? "ocamlPackages_latest.ocaml", plugins ? { } }: -let - unstablePckgs = import (pkgs.fetchFromGitHub { - # Descriptive name to make the store path easier to identify - owner = "nixos"; - repo = "nixpkgs"; - rev = "8d327040c03fe8afbc2a2a9973af17b0d1a77bf4"; - sha256 = "0nqlyqwhb8lr1g9mwia0k2f9h91zj0vfjmaijk6z8daspsci854c"; - }) {}; -in let frama_clang_build = { llvm_version, - llvm?unstablePckgs.${"llvm_"+llvm_version}, - llvm_package?unstablePckgs.${"llvmPackages_"+llvm_version} } : + llvm?pkgs.${"llvm_"+llvm_version}, + llvm_package?pkgs.${"llvmPackages_"+llvm_version} } : (plugins.helpers.simple_plugin { inherit pkgs stdenv src opam2nix ocaml_version plugins;