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: [
  "new-string-syntax.diff"
]
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.06.0"}
]
extra-files: [
  ["ott.install" "md5=fe0a948d07ba0fea49a566dfc76c2d44"]
  ["new-string-syntax.diff" "md5=a95ce5a4521336c8f1bbc3f452d68083"]
]
url {
  src: "http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_0.24.tar.gz"
  checksum: "md5=6512a2b737cb8408348306378fc46553"
}
