Skip to content
Snippets Groups Projects
Commit ff30e7ae authored by Michele Alberti's avatar Michele Alberti Committed by Virgile Prevosto
Browse files

[Nix] Fetch and use unstable packages with RTTI fix.

parent 25bb4e6e
No related branches found
No related tags found
No related merge requests found
......@@ -2,10 +2,19 @@
{ pkgs, stdenv, src ? ../., opam2nix,
ocaml_version ? "ocamlPackages_latest.ocaml", plugins ? { } }:
let
unstablePckgs = import (builtins.fetchGit {
# Descriptive name to make the store path easier to identify
name = "With-RTTI-fix";
url = "https://github.com/nixos/nixpkgs-channels/";
ref = "refs/heads/nixpkgs-unstable";
rev = "0f0b14258be090303c5013c2e29234040fa9766c";
}) {};
in
plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml_version plugins;
name = "frama-clang";
deps = [ pkgs.llvmPackages_9.clang-unwrapped pkgs.llvm_9 pkgs.gnused ];
deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused ];
opamPackages = [ "camlp5" ];
configure_options = "-with-clang-includedir=${pkgs.llvmPackages_9.clang-unwrapped}";
configure_options = "-with-clang-includedir=${unstablePckgs.llvmPackages_9.clang-unwrapped}";
}
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