dev/ci/nix/coquelicot.nix


1
2
3
4
5
6
7
8
9

{ autoconf, automake, ssreflect }:

{
  buildInputs = [ autoconf automake ];
  coqBuildInputs = [ ssreflect ];
  configure = "./autogen.sh && ./configure";
  make = "./remake";
  clean = "./remake clean";
}