opam-version: "2.0"
maintainer: "jonathan.protzenko@inria.fr"
homepage: "http://protz.github.io/mezzo/"
license: "GPL-2.0-only"
depends: [
  "ocaml" {>= "4.00.1" & < "4.06.0"}
  "ocamlfind"
  "yojson"
  "ulex"
  "menhir"
  "fix"
  "functory"
  "pprint"
  "ocamlbuild"
]
patches: [
  "no-deprecated-fatal-warning.patch"
]
build: [
  ["./configure"]
  [make]
]
remove: [
  ["ocamlfind" "remove" "mezzo"]
]
dev-repo: "git://github.com/protz/mezzo"
install: [make "install"]
synopsis:
  "We present the design of Mezzo, a programming language in the ML tradition,"
description: """
which places strong emphasis on the control of aliasing and access to mutable
memory. A balance between simplicity and expressiveness is achieved by
marrying a static discipline of permissions and a dynamic mechanism of
adoption and abandon."""
flags: light-uninstall
extra-files: [
  [
    "no-deprecated-fatal-warning.patch" "md5=32570a7e064947ccdb7d06b35f7cb79c"
  ]
  ["mezzo.install" "md5=adaa93c48604159605ff61de94168535"]
]
url {
  src: "https://github.com/protz/mezzo/archive/m8.tar.gz"
  checksum: "md5=37b91c299133cc0e5c8fa8977ac293e1"
}
