| Port details |
- ocaml-ocplib-simplex Alt-Ergo simplex solver library for Objective Caml
- 0.5.1_1 math
 =0      Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one. - Maintainer: freebsd@dev.thsi.be
- Port Added: 2024-10-08 13:00:07
- Last Update: 2024-10-15 11:17:56
- Commit Hash: fc92008
- License: LGPL21+
- WWW:
- https://ocamlpro.github.io/ocplib-simplex
- Description:
- The Ocplib-simplex OCaml library imlements a simplex algorithm for
solving systems of linear inequalities and optimizing linear objective
functions. Linear optimization and unsat-cores extraction are also
supported. The implementation is iterative and backtrackable.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- ocaml-ocplib-simplex>0:math/ocaml-ocplib-simplex
- To install the port:
- cd /usr/ports/math/ocaml-ocplib-simplex/ && make install clean
- To add the package, run one of these commands:
- pkg install math/ocaml-ocplib-simplex
- pkg install ocaml-ocplib-simplex
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: ocaml-ocplib-simplex
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1723747179
SHA256 (OCamlPro-ocplib-simplex-v0.5.1_GH0.tar.gz) = 4518a8c9eaaaee4626f73899a2b87a482f55c3a6995303f08eea8c952c7befa5
SIZE (OCamlPro-ocplib-simplex-v0.5.1_GH0.tar.gz) = 34208
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- META : devel/ocaml-logs
- ocamlc : lang/ocaml
- ocaml-dune>=3.7.1_2 : devel/ocaml-dune
- Test dependencies:
-
- META : math/ocaml-zarith
- Runtime dependencies:
-
- META : devel/ocaml-logs
- ocamlc : lang/ocaml
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- This port is required by:
- for Build
-
- math/alt-ergo
- for Run
-
- math/alt-ergo
Configuration Options:- ===> The following configuration options are available for ocaml-ocplib-simplex-0.5.1_1:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- math_ocaml-ocplib-simplex
- USES:
- ocaml:dune
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 2
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.5.1_1
15 Oct 2024 11:17:56
 |
Guido Falsi (madpilot) |
devel/ocaml-sexplib0: Bump revisions after dependency update
PR: 282086 |
0.5.1
08 Oct 2024 12:56:48
|
Zsolt Udvari (uzsolt)
Author: Benjamin Jacobs |
math/alt-ergo: Update to 2.5.4, many new ports
Replace GNU configure to dune builds system.
Add do-test target.
Submitter takes maintainership.
Update WWW.
Switch to DISTVERSION.
The last update of alt-ergo in ports tree was about 10 years ago, the newest
version requires many new libraries in ports tree.
New ports:
devel/ocaml-dolmen
devel/ocaml-gen
devel/ocaml-hmap
devel/ocaml-linol (Only the first 15 lines of the commit message are shown above  ) |
Number of commits found: 2
|
As an Amazon Associate I earn from qualifying purchases.