ligo.opam

name: "ligo"
opam-version: "2.0"
maintainer: "Galfour <contact@ligolang.org>"
authors: [ "Galfour" ]
homepage: "https://gitlab.com/ligolang/tezos"
bug-reports: "https://gitlab.com/ligolang/tezos/issues"
synopsis: "A high-level language which compiles to Michelson"
dev-repo: "git+https://gitlab.com/ligolang/tezos.git"
license: "MIT"
# If you change the dependencies, run `opam lock` in the root
depends: [
  "odoc" { build }
  "ocamlfind" { build }
  "dune" { build & >= "2.7.1" & < "2.9" }
  "menhir" { = "20200624" }
  "ocamlgraph"
  "coq" { build & >= "8.12" & < "8.13" }
  "ppx_deriving"
  "ppx_deriving_yojson"
  "ppx_expect"
  "tezos-utils"
  "proto-alpha-utils"
  "ligo-008-PtEdo2Zk-test-helpers"
  "yojson"
  "alcotest" { with-test & >= "1.0" & < "1.1" }
  "getopt"
  "terminal_size"
  "pprint"
  "ParserLib"
  "LexerLib"
  "UnionFind"
  "RedBlackTrees"
  "linenoise"
  "qcheck"
  # work around upstream in-place update
  "ocaml-migrate-parsetree" { = "2.1.0" }
  # work around tezos' failure to constrain
  "lwt" { = "5.3.0" }
  "bisect_ppx" {dev & >= "2.5.0"}
]
build: [
  [ "dune" "build" "-p" name "-j" jobs ]
]