Updated AIFAD

packages/aifad/aifad.2.0.8/descr

@@ -0,0 +1,4 @@
+AIFAD - Automated Induction of Functions over Algebraic Datatypes
+AIFAD is a machine learning tool that generalizes decision tree
+learning to algebraic datatypes.
+

packages/aifad/aifad.2.0.8/files/_oasis_remove_.ml

@@ -0,0 +1,7 @@
+open Printf
+
+let () =
+  let dir = Sys.argv.(1) in
+  (try Sys.chdir dir
+   with _ -> eprintf "Cannot change directory to %s\n%!" dir);
+  exit (Sys.command "ocaml setup.ml -uninstall")

packages/aifad/aifad.2.0.8/files/aifad.install

@@ -0,0 +1,6 @@
+etc: [
+  "setup.ml"
+  "setup.data"
+  "setup.log"
+  "_oasis_remove_.ml"
+]

packages/aifad/aifad.2.0.8/opam

@@ -0,0 +1,28 @@
+opam-version: "1.2"
+maintainer: "Markus Mottl <markus.mottl@gmail.com>"
+authors: [ "Markus Mottl <markus.mottl@gmail.com>" ]
+license: "LGPL-2.1+ with OCaml linking exception"
+homepage: "http://mmottl.github.io/aifad"
+dev-repo: "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"]
+]
+install: ["ocaml" "setup.ml" "-install"]
+remove: [
+  ["ocaml" "%{etc}%/aifad/_oasis_remove_.ml" "%{etc}%/aifad"]
+]
+build-test: [
+  ["ocaml" "setup.ml" "-configure" "--enable-tests"]
+  ["ocaml" "setup.ml" "-build"]
+  ["ocaml" "setup.ml" "-test"]
+]
+depends: [
+  "base-threads" {build}
+  "cfg" {build}
+  "ocamlfind" {build & >= "1.3.1"}
+  "pcre" {build}
+  "res" {build}
+]
+available: [ ocaml-version >= "4.00" ]

packages/aifad/aifad.2.0.8/url

@@ -0,0 +1,2 @@
+archive: "https://github.com/mmottl/aifad/releases/download/v2.0.8/aifad-2.0.8.tar.gz"
+checksum: "d4d4d11f08b3f0d719580b643510de75"