Current status

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

Description:

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

pkg-plist: as obtained via: make generate-plist

Expand this list (17 items)

Collapse this list.

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

Flavors: 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

Dependencies

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

Deleted ports which required this port:

Expand this list of 4 deleted ports

1. math/alt-ergo-spark^*
2. math/why3^*
3. math/why3-gpl^*
4. math/why3-spark^*
5. 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:

Expand this list (1 items)

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

- 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

10 vulnerabilities affecting 79 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2021-03-05 21:21:29