-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
48 lines (48 loc) · 1.81 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
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"}
]
url {
src: "http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_0.24.tar.gz"
checksum: [
"sha256=ef215996eff2760631bf5333ad2ef97f46f1bb281e9a2e12dca5110b465a1f43"
"md5=6512a2b737cb8408348306378fc46553"
]
}
conflicts: [ "pprint" {>= "20220103"} ]
extra-source "ott.install" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ott/ott.install.0.24"
checksum: [
"sha256=1161255bc386edfc39abd3318cc6971116c1ba0d982d2e403d252224a2a22023"
"md5=fe0a948d07ba0fea49a566dfc76c2d44"
]
}
extra-source "new-string-syntax.diff" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ott/new-string-syntax.diff"
checksum: [
"sha256=1b6d49e3609a53de8ab86ef4fd9d5e3e5da1ed0b8f8d4bf5fb4d7339f0a70bca"
"md5=a95ce5a4521336c8f1bbc3f452d68083"
]
}