Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
28 Apr 2017 15:47:18
1.4.1

|
danfe  |
- Update to version 1.4.1
- Employ USES+=localbase:ldflags
- Remove excessive whitespace |
29 Jan 2017 23:13:59
1.2.1

|
marino  |
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 |
29 Jan 2017 12:47:33
1.2.1

|
amdmi3  |
- 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 |
16 Oct 2016 09:03:43
1.2.1

|
amdmi3  |
- Fix license
- Add LICENSE_FILE
- Fix build on arm |
15 Sep 2016 01:29:41
1.2.1

|
marino  |
Release some of my ports back to the heap |
01 Apr 2016 14:16:20
1.2.1

|
mat  |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
11 Oct 2015 21:33:55
1.2.1

|
marino  |
math/ocaml-zarith: set BROKEN_armv6 |
28 Aug 2015 13:39:57
1.2.1

|
amdmi3  |
- Switch to options helpers
- While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS
Approved by: portmgr blanket |
15 Nov 2014 12:20:54
1.2.1

|
antoine  |
Cleanup plist |
02 Jun 2014 21:28:39
1.2.1

|
marino  |
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 |