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

[nix] update to opam2nix v1 config

parent 24ef4975
No related branches found
No related tags found
No related merge requests found
......@@ -16,7 +16,7 @@ let frama_clang_build =
{ 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";} ];
opamPackages = [ "camlp5=7.14" ];
preFramaCTests = ''
echo CONFIGURING Why3 for Frama_Clang.
export HOME=$(mktemp -d)
......
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