dev/ci/nix/HoTT.nix


1
2
3
4
5
6

{ autoconf, automake }:
{
  buildInputs = [ autoconf automake ];
  configure = "./autogen.sh && ./configure";
  make = "make all validate";
}