opam-version: "2.0"
maintainer: "Markus Mottl <markus.mottl@gmail.com>"
authors: [ "Markus Mottl <markus.mottl@gmail.com>" ]
license: "LGPL-2.1-or-later with OCaml-LGPL-linking-exception"
homepage: "http://mmottl.github.io/aifad"
dev-repo: "git+https://github.com/mmottl/aifad.git"
bug-reports: "https://github.com/mmottl/aifad/issues"
build: [
  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
  ["ocaml" "setup.ml" "-build"]
  ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
  ["ocaml" "setup.ml" "-build"] {with-test}
  ["ocaml" "setup.ml" "-test"] {with-test}
]
install: ["ocaml" "setup.ml" "-install"]
remove: [
  ["ocaml" "%{etc}%/aifad/_oasis_remove_.ml" "%{etc}%/aifad"]
]
depends: [
  "ocaml" {>= "4.00"}
  "base-threads" {build}
  "cfg" {<= "2.0.4"}
  "ocamlfind" {build & >= "1.3.1"}
  "ocamlbuild" {build}
  "pcre" {build}
  "res" {build}
]
synopsis: "AIFAD - Automated Induction of Functions over Algebraic Datatypes"
description: """
AIFAD is a machine learning tool that generalizes decision tree
learning to algebraic datatypes."""
extra-files: [
  ["aifad.install" "md5=0d1b822c897681cf54b3e1aed52dda99"]
  ["_oasis_remove_.ml" "md5=6100ca146fa97d2196eb49a2631d0796"]
]
url {
  src:
    "https://github.com/mmottl/aifad/releases/download/v2.0.7/aifad-2.0.7.tar.gz"
  checksum: "md5=3864ff2d5ea82bf133f73dd2a78bb0cb"
}
