Merge pull request #8142 from thierry-martinez/master

Add pyml.20161224

Author: samoht

packages/pyml/pyml.20161224/descr

@@ -0,0 +1,38 @@
+``py.ml``: OCaml bindings for Python
+====================================
+
+``py.ml`` provides OCaml bindings for ``Python 2`` and ``Python
+3``. This library subsumes the ``pycaml`` library, which is no longer
+actively maintained.
+
+*Homepage:* http://pyml.gforge.inria.fr
+
+*Documentation:* http://pyml.gforge.inria.fr/doc
+
+*Git:* ``git clone http://pyml.gforge.inria.fr/pyml.git``
+
+*Git Repository Browser:* http://pyml.gforge.inria.fr/browser
+
+*Tracker for bug reports and feature requests:*
+http://pyml.gforge.inria.fr/tracker
+
+*OPAM:* ``opam install pyml``
+
+The Python library is linked at runtime and the same executable can be
+run in a Python 2 or a Python 3 environment. ``py.ml`` does not
+require any Python library at compile time, nor any other
+dependency.
+
+Bindings are split in three modules:
+
+- ``Py`` provides the initialization functions and some high-level
+  bindings, with error handling and naming conventions closer to OCaml
+  usages.
+
+- ``Pycaml`` provides a signature close to the old ``Pycaml``
+  module, so as to ease migration.
+
+- ``Pywrappers`` provides low-level bindings, which follow closely the
+  conventions of the C bindings for Python. Submodules
+  ``Pywrappers.Python2`` and ``Pywrappers.Python3`` contain version-specific
+  bindings.

packages/pyml/pyml.20161224/opam

@@ -0,0 +1,17 @@
+opam-version: "1.2"
+name: "pyml"
+maintainer: "Thierry Martinez <martinez@nsup.org>"
+authors: "Thierry Martinez <martinez@nsup.org>"
+homepage: "http://pyml.gforge.inria.fr"
+bug-reports: "http://pyml.gforge.inria.fr/tracker"
+license: "BSD"
+dev-repo: "https://scm.gforge.inria.fr/anonscm/git/pyml/pyml.git"
+build: [
+  [make]
+]
+install: [make "install"]
+remove: ["ocamlfind" "remove" "pyml"]
+depends: [
+  "ocamlfind" {build}
+]
+version: "20161224"

packages/pyml/pyml.20161224/url

@@ -0,0 +1,3 @@
+http: "http://pyml.gforge.inria.fr/pyml-20161224.tar.gz"
+checksum: "ea8f445792ba5c8a7d5b6f4bf6bb31cd"
+