mirror of
https://github.com/AdaCore/alt-ergo.git
synced 2026-02-12 12:39:26 -08:00
47 lines
850 B
Nix
47 lines
850 B
Nix
{ pkgs ? import ./nix { } }:
|
|
|
|
let
|
|
inherit (pkgs) lib python3Packages ocamlPackages;
|
|
in
|
|
|
|
pkgs.mkShell {
|
|
# Required for correct locales on non-NixOS,
|
|
# see https://nixos.wiki/wiki/Locales
|
|
LOCALE_ARCHIVE = "${pkgs.glibcLocales}/lib/locale/locale-archive";
|
|
nativeBuildInputs = with ocamlPackages; [
|
|
pkgs.ocamlformat
|
|
pkgs.sphinx
|
|
python3Packages.myst-parser
|
|
python3Packages.sphinx-rtd-theme
|
|
ocaml
|
|
dune_3
|
|
ocaml-lsp
|
|
ocp-indent
|
|
dune-release
|
|
dune-site
|
|
];
|
|
|
|
buildInputs = with ocamlPackages; [
|
|
ocplib-simplex
|
|
bos
|
|
dolmen_loop
|
|
camlzip
|
|
psmt2-frontend
|
|
stdlib-shims
|
|
menhir
|
|
dune-build-info
|
|
js_of_ocaml-ppx
|
|
js_of_ocaml-lwt
|
|
lwt_ppx
|
|
data-encoding
|
|
zarith_stubs_js
|
|
cmdliner
|
|
ppx_blob
|
|
odoc
|
|
ppx_deriving
|
|
landmarks
|
|
landmarks-ppx
|
|
qcheck
|
|
];
|
|
}
|