opam-version: "2.0"
maintainer: "Hannes Mehnert <hannes@mehnert.org>"
authors: [ "Peter Sewell" "Francesco Zappa Nardelli" "Scott Owens"]
homepage: "http://www.cl.cam.ac.uk/~pes20/ott/"
dev-repo: "git+https://github.com/ott-lang/ott.git"
bug-reports: "https://github.com/ott-lang/ott/issues"
license: ["BSD-3-Clause" "LGPL-2.1-only"]
build: [
  [ make "world" ]
]
patches: [ "Makefile.release.patch" ]
synopsis:
  "Ott is a tool for writing definitions of programming languages and calculi"
description: """
It takes as input a definition of a language syntax and semantics, in a concise
and readable ASCII notation that is close to what one would write in informal
mathematics. It generates LaTeX to build a typeset version of the definition,
and Coq, HOL, and Isabelle versions of the definition. Additionally, it can be
run as a filter, taking a LaTeX/Coq/Isabelle/HOL source file with embedded
(symbolic) terms of the defined language, parsing them and replacing them by
target-system terms."""
depends: [
  "ocaml" {>= "4.00.0"}
]
extra-files: [
  ["ott.install" "md5=63ba0bb1e9f81e1b25b0727d22f8eaa1"]
  ["Makefile.release.patch" "md5=f3bdbc43672b560d97ebe68f0dec7681"]
]
url {
  src: "https://github.com/ott-lang/ott/archive/0.26.tar.gz"
  checksum: "md5=8aee607f1a386b3e12b1dfe0c2cf7ca1"
}
