opam-version: "2.0"
maintainer: "sylvain.pogodalla@inria.fr"

build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]

install: ["dune" "install" name]

depends: [
  "ocaml" { >= "5.2.0" }
  "dune" { >= "3.5" }
  "dune-site" { >= "3.5" }
  "menhir" { >= "20211230"}
  "ocamlgraph"
  "ANSITerminal" { >= "0.8" }
  "fmt"
  "logs"
  "mtime" { >= "2.0.0"}
  "cmdliner" { >= "1.1.0"}
  "sedlex"
  "yojson" { >= "1.6.0"}
  "readline"
  "odoc" { with-doc }
]

depopts: [
  "cairo2" { >= "0.6.4" }
]
  
dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"

x-maintenance-intent: ["(latest)"]


homepage: "http://acg.loria.fr/"
license: "CeCILL-1.0+"
authors: ["Sylvain Pogodalla"]
bug-reports: "sylvain.pogodalla@inria.fr"
doc: "https://acg.gitlabpages.inria.fr/dev/ACGtk/release/acgtk/"

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: "file:///home/pogodall/work/dev/ACGtk/acg-2.2.0-20251106.tar.gz"
     checksum: "sha512=620795f91f236c15f468cc05076b754120df3da121be47f1c0c1a2415bcfe66c02332cdfb66d8e0fb47b2fc8ba1a2e5bfad78ea6cb14fc679c17aefcf5da7be4"
}
