ocaml-zarith OCaml arithmetic library for arbitrary precision integers
1.4.1 math =0

1.4.1Version of this port present on the latest quarterly branch.

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
Port Added: 2014-06-02 21:28:46
Last Update: 2017-04-28 16:47:18
SVN Revision: 439616
License: LGPL20

The Zarith library implements arithmetic and logical operations over
arbitrary precision numbers.  It uses GMP to efficiently implement
arithmetic over large numbers.  Small integers are represented as Caml
unboxed integers for speed and space economy.

WWW: http://forge.ocamlcore.org/projects/zarith

SVNWeb : Homepage

Pseudo-pkg-plist information, but much better, from make generate-plist
Expand this list (17 items)

1. /usr/local/share/licenses/ocaml-zarith-1.4.1/catalog.mk
2. /usr/local/share/licenses/ocaml-zarith-1.4.1/LICENSE
3. /usr/local/share/licenses/ocaml-zarith-1.4.1/LGPL20
4. lib/ocaml/site-lib/zarith/META
5. lib/ocaml/site-lib/zarith/big_int_Z.cmi
6. lib/ocaml/site-lib/zarith/big_int_Z.mli
7. lib/ocaml/site-lib/zarith/dllzarith.so
8. lib/ocaml/site-lib/zarith/libzarith.a
9. lib/ocaml/site-lib/zarith/q.cmi
10. lib/ocaml/site-lib/zarith/q.mli
11. lib/ocaml/site-lib/zarith/z.cmi
12. lib/ocaml/site-lib/zarith/z.mli
13. lib/ocaml/site-lib/zarith/zarith.a
14. lib/ocaml/site-lib/zarith/zarith.cma
15. lib/ocaml/site-lib/zarith/zarith.cmxa
16. lib/ocaml/site-lib/zarith/zarith.cmxs
17. lib/ocaml/site-lib/zarith/zarith.h
Collapse this list.

Dependency lines:

• ocaml-zarith>0:math/ocaml-zarith

---

To install the port: cd /usr/ports/math/ocaml-zarith/ && make install clean
To add the package: pkg install ocaml-zarith

PKGNAME: ocaml-zarith

There is no flavor information for this port.

distinfo:

TIMESTAMP = 1493371663
SHA256 (zarith-1.4.1.tgz) = 23b6c140aad25385bb0b862b9b9fe8a5c6e6f608d0fac7a688aaede5ea876650
SIZE (zarith-1.4.1.tgz) = 88831

---

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. ocamlc : lang/ocaml
2. ocamlfind : devel/ocaml-findlib
3. gmake : devel/gmake
4. perl5>=5.24<5.25 : lang/perl5.24

Runtime dependencies:

1. ocamlc : lang/ocaml
2. ocamlfind : devel/ocaml-findlib

Library dependencies:

1. libgmp.so : math/gmp

Patch dependencies:

1. ocamlc : lang/ocaml

Extract dependencies:

1. ocamlc : lang/ocaml

This port is required by:

for Build

1. devel/frama-c
2. math/alt-ergo
3. math/why3

Deleted ports Expand this list of 3 deleted ports
1. math/alt-ergo-spark^*
2. math/why3-gpl^*
3. math/why3-spark^*
Collapse this list of deleted ports.

for Run

1. devel/frama-c

---

Configuration Options

===> The following configuration options are available for ocaml-zarith-1.4.1:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

---

USES:

gmake localbase:ldflags perl5 shebangfix tar:tgz

---

Master Sites:

1. http://forge.ocamlcore.org/frs/download.php/1574/

- Update to version 1.4.1
- Employ USES+=localbase:ldflags
- Remove excessive whitespace

math/ocaml-zarith: Unbreak after ocaml-findlib change

Use the same technique madpilot used on x11-toolkits/ocaml-lablgtk2
to restore the build after the (unexpected) changed to the output
of ocamlfindlib during its update to 1.7.1

- Mark BROKEN:

ocamlfind: Bad configuration: Cannot mkdir
/wrkdirs/usr/ports/math/ocaml-zarith/work/stage/usr/local/lib/ocaml/site-lib:/usr/local/lib/ocaml/zarith
because a path component does not exist or is not a directory

- Fix license
- Add LICENSE_FILE
- Fix build on arm

Release some of my ports back to the heap

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight

math/ocaml-zarith: set BROKEN_armv6

- Switch to options helpers
- While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS

Approved by:	portmgr blanket

Cleanup plist

Add new Ocaml port: math/ocaml-zarith

This is a new requirement for the latest veersion of alt-ergo.

     ================================================================

The Zarith library implements arithmetic and logical operations over
arbitrary precision numbers.  It uses GMP to efficiently implement
arithmetic over large numbers.  Small integers are represented as Caml
unboxed integers for speed and space economy.

WWW: http://forge.ocamlcore.org/projects/zarith

12 vulnerabilities affecting 148 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2019-07-21 04:55:39