{
  "override": {
    "build": [
      [
        "bash", "-c",
        "#{os == 'windows' ? 'patch -p1 < menhir-20171013.patch' : 'true'}"
      ],
      [
        "make", "-f", "Makefile", "PREFIX=#{self.install}",
        "USE_OCAMLFIND=true", "docdir=#{self.doc}/menhir",
        "libdir=#{self.lib}/menhir", "mandir=#{self.man}/man1"
      ]
    ]
  }
}