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
ChangeLog:
* R:
i) Tuned Newton iteration algorithms in ngreg and ngreg.proj.
ii) Bug fixes in routines involving univariate minimization via
nlm0.
iii) Minor changes in makedata.x's.
It's possible that EXTRACT_CMD won't be predefined in the near future
in order to support distfiles in multiple formats. We know the post-
extraction tool needs to be tar, so let's specify it directly.
It may be worth looking at the post-extract target here and seeing
if it's really needed. Often one can just change the WRKSRC value to
avoid a custom post-extract taraget.
Approved by: infrastructure improvements blanket
- Remove leading, undefined article from COMMENT
- Add graphics/ImageMagick to RUN_DEPENDS
- Enable garbage collection via devel/boehm-gc-threaded [1]
- Sort variables
- Use autotools [1]
- Use texlive, and don't install files already installed by it [1]
- Use options helpers
- Add option OFFSCREEN (default off) to enable offscreen rendering
using OSMesa library
- Add support for stage dir [1]
- Strip binary file asy
- Add files/patch-configure.ac and files/patch-settings.cc
- Remove Author field, and use a single space after WWW in pkg-descr [1]
Release Notes: http://sourceforge.net/projects/asymptote/files/2.32/
PR: ports/190196 [1]
Submitted by: Shin-ya Murakami <murashin@gfd-dennou.org>
lang/lua51 is working the same way lang/lua52, chase ports using lua 5.1
Make the default lua lua52
Make all lua ports using USES=lua
Approved by: portmgr (implicit)
Maintainers for these ports have been notified on 5 separate occasions
over the course of several months about pending actions required.
We really appreciate the time and effort you put in to maintain
these ports.
If you are still interested in helping to maintain these ports just
reply to me or file a PR and I will happily assign the port to you
again.
Approved by: portmgr (implicit)
- Convert to new LIB_DEPENDS format
- Support STAGEDIR
- Pass maintainership to submitter
PR: ports/189764
Submitted by: Muhammad Moinur Rahman <5u623l20@gmail.com>
