-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
46 lines (38 loc) · 1.29 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
opam-version: "2.0"
maintainer: "sylvain.pogodalla@inria.fr"
build: [
["dune" "subst"] {dev}
# remove the -p to also build the local libraries: conflict with the
# fact that some libraries are also part of the acgtkLib package
# ["dune" "build" "-p" name "-j" jobs]
["dune" "build" "-j" jobs]
]
install: ["dune" "install"]
depends: [
"ocaml" { >= "4.03.0" & < "5.0" }
"dune" {>= "1.1"}
"menhir"
"ANSITerminal"
"fmt"
"logs"
"mtime" {>= "1.0.0" & < "2.0.0"}
"cairo2"
"yojson"
"easy-format"
"ocf"
]
dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"
homepage: "http://acg.inria.fr/"
license: "CeCILL-1.0+"
authors: ["Sylvain Pogodalla"]
bug-reports: "sylvain.pogodalla@inria.fr"
synopsis: "Abstract Categorial Grammar development toolkit"
description: "This toolkit provides a compiler and an interpreter for Abstract Categorial Grammars (ACGs). Grammars can be compiled and then used by the interpreter to parse (if the grammar is at most second-order) or to generate terms. See http://acg.loria.fr for more details and bibliographic references."
url {
src:
"https://github.com/ocaml/opam-source-archives/raw/main/acgtk-1.5.0.tar.gz"
checksum: [
"sha256=55a24a65da8bf07e378c003c8f7f72589e842d5132f04b613abcf0dfdf00c092"
"md5=7fa4ac29e905f8d4ed7efccb131b304a"
]
}