lambdapi.opam

synopsis: "Proof assistant based on the λΠ-calculus modulo rewriting"
description:
"""
Proof assistant based on the λΠ-calculus modulo rewriting,
mostly compatible with Dedukti.

This package contains both the `lambdapi` proof assistant and the `lp-lsp`
Language Server Protocol helper for IDEs to check lambdapi files.
"""
opam-version: "2.0"
maintainer: "dedukti-dev@inria.fr"
bug-reports: "https://github.com/Deducteam/lambdapi/issues"
homepage: "https://github.com/Deducteam/lambdapi"
dev-repo: "git+https://github.com/Deducteam/lambdapi.git"
authors: [
  "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
  "Frédéric Blanqui <frederic.blanqui@inria.fr>"
  "Emilio Jesús Gallego Arias <e@x80.org>" ]
license: "CeCILL 2.1"
doc: "https://deducteam.github.io/lambdapi/"

depends: [
  "ocaml"        {         >= "4.04.0" }
  "dune"         { build & >= "1.3.0"  }
  "menhir"
  "bindlib"      { >= "5.0.0" }
  "earley"       { >= "2.0.0" }
  "timed"        { >= "1.0"   }

  # tests
  "ppx_inline_test" { with-test }

  # lp-lsp dependencies
  "yojson"       { >= "1.6.0" }
  "cmdliner"
]

build: [ [ "dune" "build" "-p" name "-j" jobs ] ]
run-test: [ [ "dune" "runtest" "-p" name "-j" jobs ] ]