opam-version: "2.0"
maintainer: "alt-ergo@ocamlpro.com"
authors: "Alt-Ergo developers"
license: "OCamlPro Non-Commercial License"
homepage: "http://alt-ergo.ocamlpro.com/"
bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"

build:
[
        ["./configure" "-prefix" "%{prefix}%"]
        [make "satML"]
]

install:
[
        [make "install-satML" "MANDIR=%{man}%/man1"]
]

remove:
[
        ["rm" "%{prefix}%/lib/alt-ergo/plugins/satML-plugin.cmxs"]
]

depends: [
  "ocaml"
  "zarith"
  "ocamlgraph" {>= "1.8.2"}
  "alt-ergo" {= "0.99.1"}
]
messages: [ "This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements" ]
synopsis:
  "Automatic theorem prover based on SMT technology and dedicated to program verification: satML plugin"
dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
flags: light-uninstall
url {
  src:
    "http://alt-ergo.ocamlpro.com/http/alt-ergo-0.99.1/alt-ergo-0.99.1.tar.gz"
  checksum: [
    "sha256=f5f24f0af60ff5b4a7d054e95bc677befbe708859fafdd5b214a47ed4d71d452"
    "md5=1fd351547441553a1d8ac543adda6cdb"
  ]
}