tealeaves-examples.nix

{ stdenv, nix-gitignore, coq, serapi, ocamlPackages, python310Packages, tealeaves }:

stdenv.mkDerivation {
  name = "tealeaves-examples";
  src = nix-gitignore.gitignoreSource
    [ "docs/"
      "extra/*.sh"
      "images/"
      "LICENSE"
      "*.lock"
      "*.nix"
      "*.md"
      "Makefile"
    ] ./.;
  makefile = ./Makefile.examples;
  nativeBuildInputs = [
    coq
    ocamlPackages.findlib
    python310Packages.alectryon
    serapi
    tealeaves
  ];
}