dev/ci/nix/gappa.nix


1
2
3
4
5
6
7
8
9

{ autoconf, automake, ocaml, flocq }:

{
  buildInputs = [ autoconf automake ocaml ];
  coqBuildInputs = [ flocq ];
  configure = "autoreconf && ./configure";
  make = "./remake";
  clean = "./remake clean";
}