inferno.opam 853 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
name: "inferno"
opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
authors: [
  "François Pottier <francois.pottier@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: [
16
  "ocaml" { >= "4.08" }
17
  "dune"  { >= "1.11" }
18 19 20 21 22 23 24 25

  # 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}
Gabriel Scherer's avatar
Gabriel Scherer committed
26
  "pprint" {with-test}
POTTIER Francois's avatar
POTTIER Francois committed
27
]