inferno-experimental/inferno.opam

35 lines
1.1 KiB
Plaintext

name: "inferno"
opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
authors: [
"François Pottier <francois.pottier@inria.fr>"
"Olivier Martinot <olivier.martinot@inria.fr>"
"Gabriel Scherer <gabriel.scherer@inria.fr>"
]
homepage: "https://gitlab.inria.fr/fpottier/inferno"
dev-repo: "git+https://gitlab.inria.fr/fpottier/inferno.git"
bug-reports: "francois.pottier@inria.fr"
license: "MIT"
synopsis: "A library for constraint-based Hindley-Milner type inference"
build: [
["dune" "build" "-p" name "-j" jobs]
]
depends: [
"ocaml" { >= "4.08" }
"dune" { >= "2.8" }
"unionFind" { >= "20220109" }
"pprint"
# These dependencies are only used by the client,
# which is currently only used when running tests.
# We don't want to impose them as extra dependencies to any
# user of Inferno as a library.
# In the future we should separate the client to a separate opam
# package to make the distinction clearer.
"menhir" {with-test}
"qcheck" {with-test}
"alcotest" {with-test}
"qcheck-alcotest" {with-test}
"ppx_compare" {with-test}
]