Skip to content
Snippets Groups Projects
Commit 61876f2e authored by Loïc Correnson's avatar Loïc Correnson Committed by Virgile Prevosto
Browse files

Update default.nix with Alt-Ergo 2.3.1

parent b8608984
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
nix/default.nix
+ 1
− 1
View file @ 61876f2e
......@@ -15,7 +15,7 @@ plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml_version plugins;
name = "frama-clang";
deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused ];
opamPackages = [ "camlp5" { name = "alt-ergo"; constraint = "=2.0.0"; } ];
opamPackages = [ "camlp5" { name = "alt-ergo"; constraint = "=2.3.1"; } ];
preFramaCTests = ''
echo CONFIGURING Why3 for Frama_Clang.
export HOME=$(mktemp -d)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment