You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
35 lines
1.1 KiB
35 lines
1.1 KiB
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}
|
|
]
|