40 lines
958 B
Nix
40 lines
958 B
Nix
{
|
|
description = "Nix flake devshell for why3 development";
|
|
|
|
inputs = {
|
|
nixpkgs.url = "github:nixos/nixpkgs?ref=nixos-unstable";
|
|
};
|
|
|
|
outputs =
|
|
{ self, nixpkgs, ... }:
|
|
let
|
|
system = "x86_64-linux";
|
|
in
|
|
{
|
|
devShells."${system}".default =
|
|
let
|
|
pkgs = import nixpkgs { inherit system; };
|
|
menhir-lsp = pkgs.callPackage ./menhir-lsp.nix (pkgs // pkgs.ocamlPackages);
|
|
in
|
|
pkgs.mkShell {
|
|
packages = with pkgs; [
|
|
# Build elements
|
|
autoconf
|
|
ocaml
|
|
ocamlPackages.ocaml-lsp
|
|
ocamlPackages.findlib
|
|
ocamlPackages.menhir
|
|
ocamlPackages.menhirLib
|
|
ocamlPackages.zarith
|
|
ocamlPackages.lablgtk3
|
|
ocamlPackages.lablgtk3-sourceview3
|
|
|
|
# Available provers
|
|
# alt-ergo
|
|
cvc5
|
|
z3
|
|
menhir-lsp
|
|
];
|
|
};
|
|
};
|
|
}
|