math/ocaml-ocplib-simplex: Add 0.5.1

To: pkgsrc-wip-changes%NetBSD.org@localhost
Subject: math/ocaml-ocplib-simplex: Add 0.5.1
From: Dmytro Kazankov <dmytro.kazankov%gmail.com@localhost>
Date: Tue, 21 May 2024 09:34:21 +0000
Module Name:	pkgsrc-wip
Committed By:	Dmytro Kazankov <dmytro.kazankov%gmail.com@localhost>
Pushed By:	dkazankov
Date:		Tue May 21 12:31:28 2024 +0300
Changeset:	01b065f32e193c4a6db9b4cda69b0207ef7fdb0d

Added Files:
	ocaml-ocplib-simplex/DESCR
	ocaml-ocplib-simplex/Makefile
	ocaml-ocplib-simplex/PLIST
	ocaml-ocplib-simplex/buildlink3.mk
	ocaml-ocplib-simplex/distinfo

Log Message:
math/ocaml-ocplib-simplex: Add 0.5.1

* The library implements a simplex algorithm.
* The package is needed to build new lang/spark2014 package.

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=01b065f32e193c4a6db9b4cda69b0207ef7fdb0d

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 ocaml-ocplib-simplex/DESCR         |  4 +++
 ocaml-ocplib-simplex/Makefile      | 25 ++++++++++++++
 ocaml-ocplib-simplex/PLIST         | 69 ++++++++++++++++++++++++++++++++++++++
 ocaml-ocplib-simplex/buildlink3.mk | 14 ++++++++
 ocaml-ocplib-simplex/distinfo      |  5 +++
 5 files changed, 117 insertions(+)

diffs:
diff --git a/ocaml-ocplib-simplex/DESCR b/ocaml-ocplib-simplex/DESCR
new file mode 100644
index 0000000000..565199cce2
--- /dev/null
+++ b/ocaml-ocplib-simplex/DESCR
@@ -0,0 +1,4 @@
+Ocplib-simplex a is library implementing a simplex algorithm, in a functional
+style, for solving systems of linear inequalities and optimizing linear
+objective functions. It is able to extract unsat-cores for unsatisfiable
+problems. Versions > 0.1 also support linear optimization.
diff --git a/ocaml-ocplib-simplex/Makefile b/ocaml-ocplib-simplex/Makefile
new file mode 100644
index 0000000000..1b8ed48d9a
--- /dev/null
+++ b/ocaml-ocplib-simplex/Makefile
@@ -0,0 +1,25 @@
+# $NetBSD: Makefile,v 1.0 2024/05/12 09:00:00 dkazankov Exp $
+
+VERSION=	0.5.1
+GITHUB_PROJECT=	ocplib-simplex
+GITHUB_TAG=	v${VERSION}
+DISTNAME=	${GITHUB_PROJECT}-${VERSION}
+PKGNAME=	ocaml-${DISTNAME:tl}
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GITHUB:=OCamlPro/}
+
+HOMEPAGE=	https://github.com/OCamlPro/ocplib-simplex
+COMMENT=	Ocplib-simplex library implements a simplex algorithm
+LICENSE=	gnu-lgpl-v2
+
+USE_TOOLS+=		gmake
+INSTALLATION_DIRS+=	${OCAML_SITELIBDIR}/ocplib-simplex
+
+OCAML_USE_DUNE=		yes
+OCAML_USE_FINDLIB=	yes
+
+#.include "../../wip/ocaml-odoc/buildlink3.mk"
+#.include "../../math/ocaml-zarith/buildlink3.mk"
+.include "../../devel/ocaml-logs/buildlink3.mk"
+.include "../../lang/ocaml/ocaml.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/ocaml-ocplib-simplex/PLIST b/ocaml-ocplib-simplex/PLIST
new file mode 100644
index 0000000000..f4c378ede2
--- /dev/null
+++ b/ocaml-ocplib-simplex/PLIST
@@ -0,0 +1,69 @@
+@comment $NetBSD: PLIST,v 1.0 2024/05/12 11:00:00 dkazankov Exp $
+${OCAML_SITELIB}/ocplib-simplex/META
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/OcplibSimplex.a
+${OCAML_SITELIB}/ocplib-simplex/OcplibSimplex.cma
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/OcplibSimplex.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/OcplibSimplex.cmxs
+${OCAML_SITELIB}/ocplib-simplex/assertBounds.ml
+${OCAML_SITELIB}/ocplib-simplex/assertBounds.mli
+${OCAML_SITELIB}/ocplib-simplex/basic.ml
+${OCAML_SITELIB}/ocplib-simplex/basic.mli
+${OCAML_SITELIB}/ocplib-simplex/core.ml
+${OCAML_SITELIB}/ocplib-simplex/core.mli
+${OCAML_SITELIB}/ocplib-simplex/coreSig.mli
+${OCAML_SITELIB}/ocplib-simplex/dune-package
+${OCAML_SITELIB}/ocplib-simplex/extSigs.mli
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex.cmx
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex.ml
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__AssertBounds.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__AssertBounds.cmt
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__AssertBounds.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__AssertBounds.cmx
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Basic.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Basic.cmt
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Basic.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Basic.cmx
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Core.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Core.cmt
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Core.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Core.cmx
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__CoreSig.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__CoreSig.cmti
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__ExtSigs.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__ExtSigs.cmti
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Polys.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Polys.cmt
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Polys.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Polys.cmx
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Rat2.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Rat2.cmt
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Rat2.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Rat2.cmx
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Result.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Result.cmt
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Result.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Result.cmx
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__SolveBounds.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__SolveBounds.cmt
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__SolveBounds.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__SolveBounds.cmx
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Version.cmi
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Version.cmt
+${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Version.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/ocplib-simplex/ocplibSimplex__Version.cmx
+${OCAML_SITELIB}/ocplib-simplex/opam
+${OCAML_SITELIB}/ocplib-simplex/polys.ml
+${OCAML_SITELIB}/ocplib-simplex/polys.mli
+${OCAML_SITELIB}/ocplib-simplex/rat2.ml
+${OCAML_SITELIB}/ocplib-simplex/rat2.mli
+${OCAML_SITELIB}/ocplib-simplex/result.ml
+${OCAML_SITELIB}/ocplib-simplex/result.mli
+${OCAML_SITELIB}/ocplib-simplex/solveBounds.ml
+${OCAML_SITELIB}/ocplib-simplex/solveBounds.mli
+${OCAML_SITELIB}/ocplib-simplex/version.ml
+${OCAML_SITELIB}/ocplib-simplex/version.mli
+share/doc/ocplib-simplex/CHANGES.md
+share/doc/ocplib-simplex/LICENSE
+share/doc/ocplib-simplex/README.md
diff --git a/ocaml-ocplib-simplex/buildlink3.mk b/ocaml-ocplib-simplex/buildlink3.mk
new file mode 100644
index 0000000000..337e0db4af
--- /dev/null
+++ b/ocaml-ocplib-simplex/buildlink3.mk
@@ -0,0 +1,14 @@
+# $NetBSD: buildlink3.mk,v 1.6 2022/06/28 11:34:37 wiz Exp $
+
+BUILDLINK_TREE+=	ocaml-ocplib-simplex
+
+.if !defined(OCAML_OCPLIB_SIMPLEX_BUILDLINK3_MK)
+OCAML_OCPLIB_SIMPLEX_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.ocaml-ocplib-simplex+=	ocaml-ocplib-simplex>=0.5
+BUILDLINK_ABI_DEPENDS.ocaml-ocplib-simplex+=	ocaml-ocplib-simplex>=0.5.1
+BUILDLINK_PKGSRCDIR.ocaml-ocplib-simplex?=	../../wip/ocaml-ocplib-simplex
+
+.endif	# OCAML_OCPLIB_SIMPLEX_BUILDLINK3_MK
+
+BUILDLINK_TREE+=	-ocaml-ocplib-simplex
diff --git a/ocaml-ocplib-simplex/distinfo b/ocaml-ocplib-simplex/distinfo
new file mode 100644
index 0000000000..0dad8763b3
--- /dev/null
+++ b/ocaml-ocplib-simplex/distinfo
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.7 2022/05/24 17:55:23 jaapb Exp $
+
+BLAKE2s (ocplib-simplex-0.5.1.tar.gz) = 908f424820f870b7749db985c2a3bd0a02319cb08714b92ab5a053ea3a1a0a65
+SHA512 (ocplib-simplex-0.5.1.tar.gz) = 652535875ce4f21a46381847539dbc7aba80e7d374856034f8526413f6705b84cc9758a8433a67d852e864080b4e82a79834e493a7665541680aefbd1a8da3fc
+Size (ocplib-simplex-0.5.1.tar.gz) = 34208 bytes
Prev by Date: devel/gnatcoll-bindings: Add 24.0.0
Next by Date: lang/spark2014: Add 13.0.0
Previous by Thread: devel/gnatcoll-bindings: Add 24.0.0
Next by Thread: lang/spark2014: Add 13.0.0
Indexes:
Home | Main Index | Thread Index | Old Index