hms/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat (shells/why3-dev): add provers for local dev

Browse source
This commit is contained in:
Henri Saudubray 2026-01-22 10:17:38 +01:00
parent 0b3f0d63a0
commit d25c47522e
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
shells/why3-dev/flake.nix
View file

@ -17,14 +17,21 @@
in in
pkgs.mkShell { pkgs.mkShell {
packages = with pkgs; [ packages = with pkgs; [
# Build elements
autoconf autoconf
ocaml ocaml
ocamlPackages.ocaml-lsp
ocamlPackages.findlib ocamlPackages.findlib
ocamlPackages.menhir ocamlPackages.menhir
ocamlPackages.menhirLib ocamlPackages.menhirLib
ocamlPackages.zarith ocamlPackages.zarith
ocamlPackages.lablgtk3 ocamlPackages.lablgtk3
ocamlPackages.lablgtk3-sourceview3 ocamlPackages.lablgtk3-sourceview3
# Available provers
# alt-ergo
cvc5
z3
]; ];
}; };
}; };