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" }
16 "dune" { >= "1.4" }
17 "menhir"
18 "ANSITerminal"
19 "fmt"
20 "logs"
21 "mtime" {>= "1.0.0" & < "2.0.0"}
22 "cmdliner" {< "1.1.0"}
23 "conf-freetype"
24 "conf-pkg-config"
25 "conf-cairo"
26 "cairo2"
27 "yojson"
28 "easy-format"
29]
30
31dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"
32
33homepage: "http://acg.loria.fr/"
34license: "CeCILL-1.0+"
35authors: ["Sylvain Pogodalla"]
36bug-reports: "sylvain.pogodalla@inria.fr"
37
38synopsis: "Abstract Categorial Grammar development toolkit"
39
40description: "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."
41
42url {
43 src:
44 "https://github.com/ocaml/opam-source-archives/raw/main/acgtk-1.5.2.tar.gz"
45 checksum: [
46 "sha256=9877f1e50e00370c601378ad11f9af3ee7e381682927b3e8e76f22eedbe9ca27"
47 "md5=db893b834152aaa29690477099d8dc17"
48 ]
49}