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

feat (shells/why3-dev): cleanup

Browse source
This commit is contained in:
Henri Saudubray 2026-02-27 14:28:21 +01:00
parent eedb90cb37
commit 70fa0672d4
Signed by: hms
GPG key ID: 7065F57ED8856128
1 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -13,7 +13,10 @@
{ {
devShells."${system}".default = devShells."${system}".default =
let let
pkgs = import nixpkgs { inherit system; }; pkgs = import nixpkgs {
inherit system;
config.allowUnfree = true;
};
menhir-lsp = pkgs.callPackage ./menhir-lsp.nix (pkgs // pkgs.ocamlPackages); menhir-lsp = pkgs.callPackage ./menhir-lsp.nix (pkgs // pkgs.ocamlPackages);
in in
pkgs.mkShell { pkgs.mkShell {
@ -21,18 +24,20 @@
# Build elements # 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
ocamlPackages.camlzip
# Available provers # Provers
# alt-ergo alt-ergo
cvc5 cvc5
z3 z3
# Development tooling
ocamlPackages.ocaml-lsp
menhir-lsp menhir-lsp
]; ];
}; };