acgtk.opam 1.06 KB
Newer Older
1 2 3 4 5 6 7 8
opam-version: "2.0"
maintainer: "sylvain.pogodalla@inria.fr"

build: [
  ["dune" "subst"] {pinned}
# 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]
9
  ["dune" "build" "--profile=release" "-j" jobs]
10 11 12 13 14
]

install: ["dune" "install"]

depends: [
15 16
  "ocaml" { >= "4.05.0" }
  "dune" { >= "1.0" }
17 18 19 20 21
  "menhir"
  "ANSITerminal"
  "fmt"
  "logs"
  "mtime"
22
  "cmdliner"
23 24 25 26 27 28 29
  "cairo2"
  "yojson"
  "easy-format"
]

dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"

POGODALLA Sylvain's avatar
POGODALLA Sylvain committed
30
homepage: "http://acg.loria.fr/"
31
license: "CeCILL-1.0+"
32 33 34 35
authors: ["Sylvain Pogodalla"]
bug-reports: "sylvain.pogodalla@inria.fr"

synopsis: "Abstract Categorial Grammar development toolkit"
36

37 38
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."