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
  standard with prenex polymorphism"

flags: light-uninstall

url {
  src: "https://github.com/Coquera/psmt2-frontend/archive/0.2.zip"
  checksum: [
    "sha256=5fd0cd4d5636cf7eea5ca1b517a49bcd7c2244f90bd4ae13dfa5da15bc1ec54f"
    "md5=1b440803b737be2a6a8b979e55ef0b60"
  ]
}