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

Update default.nix to use default alt-ergo

parent 61876f2e
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 @ 7cba5f28
...@@ -15,7 +15,7 @@ plugins.helpers.simple_plugin ...@@ -15,7 +15,7 @@ plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml_version plugins; { inherit pkgs stdenv src opam2nix ocaml_version plugins;
name = "frama-clang"; name = "frama-clang";
deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused ]; deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused ];
opamPackages = [ "camlp5" { name = "alt-ergo"; constraint = "=2.3.1"; } ]; opamPackages = [ "camlp5" ];
preFramaCTests = '' preFramaCTests = ''
echo CONFIGURING Why3 for Frama_Clang. echo CONFIGURING Why3 for Frama_Clang.
export HOME=$(mktemp -d) 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