this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "sylvain.pogodalla@inria.fr"
3
4build: [
5 ["dune" "subst"] {dev}
6# remove the -p to also build the local libraries: conflict with the
7# fact that some libraries are also part of the acgtkLib package
8# ["dune" "build" "-p" name "-j" jobs]
9 ["dune" "build" "--profile=release" "-j" jobs]
10]
11
12install: ["dune" "install"]
13
14depends: [
15 "ocaml" { >= "4.05.0" & < "5.1" }
16 "dune" { >= "1.0" }
17 "menhir" {< "20201122"}
18 "ANSITerminal"
19 "fmt"
20 "logs"
21 "mtime" {>= "1.0.0" & < "2.0.0"}
22 "cmdliner" {< "1.1.0"}
23 "cairo2"
24 "yojson"
25 "easy-format"
26]
27
28dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"
29
30homepage: "http://acg.loria.fr/"
31license: "CeCILL-1.0+"
32authors: ["Sylvain Pogodalla"]
33bug-reports: "sylvain.pogodalla@inria.fr"
34
35synopsis: "Abstract Categorial Grammar development toolkit"
36
37description: "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."
38
39url {
40 src:
41 "https://github.com/ocaml/opam-source-archives/raw/main/acgtk-1.5.1.tar.gz"
42 checksum: [
43 "sha256=c14ae5bce85bd65ae1e8a858f7915df7525ede32d14c1512c0e57fc81d2ea99c"
44 "md5=3b68aa337fad7b810d110955247c48a9"
45 ]
46}