opam-version: "2.0"

authors: "Albin Coquereau"
maintainer: "Albin Coquereau"

license: "Apache-2.0"
homepage: "https://github.com/Coquera/psmt2-frontend"

bug-reports: "https://github.com/Coquera/psmt2-frontend/issues"
dev-repo: "git+https://github.com/Coquera/psmt2-frontend.git"
build:[
        ["autoconf"]
        ["./configure" "-prefix" "%{prefix}%"]
	[make]
]


install:[
	[make "install"]
]

remove:[
        ["ocamlfind" "remove" "psmt2-frontend"]
]

depends: [
  "ocaml" {>= "4.04.0"}
  "ocamlfind" {build}
  "conf-autoconf" {build}
  "menhir" {< "20211215"}
]
synopsis:
  "A library to parse and type-check a conservative extension of the SMT-LIB 2"
description: "standard with prenex polymorphism"
flags: light-uninstall
url {
  src: "https://github.com/Coquera/psmt2-frontend/archive/0.1.zip"
  checksum: [
    "sha256=1a125274b4b23219efe3e5dcc850a35210d33b51bc5531d3f3112df7f5db3f35"
    "md5=1eb0902c24ca84f5aefae876feb43d6e"
  ]
}