BSD Ports

math/crlibm 1.0.b4_2 FreeBSD

Correctly-rounded mathematics library

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
License
LGPL21
Categories
math
Package size
1501.0 KiB, 4833.9 KiB installed

Description

CRlibm is an efficient and proven mathematical library, which provides implementations of the double-precision C99 standard elementary functions, correctly rounded in the four IEEE-754 rounding modes, and sufficiently efficient in average time, worst-case time, and memory consumption to replace existing libms transparently.

The distribution includes extensive documentation with the proof of each function (currently more than 100 pages), as well as all the Maple scripts used to develop the functions. This makes this library an excellent tutorial on software elementary function development.

CRlibm also includes a lightweight library for multiple precision, scslib (Software Carry Save Library). This library has been developed specifically to answer the needs of the CRlibm project: precision up to a few hundred bits, portability, compatibility with IEEE floating-point standards, performance comparable to or better than GMP, and a small footprint. It uses a data-structure which allows carry propagations to be avoided during multiple-precision multiplications, and supports addition, subtraction, multiplication, and conversions.

In the other systems

SystemPortVersion
FreeBSDmath/crlibm1.0.b4_2
DragonFlymath/crlibm1.0.b4_2

Install

Binary package:

pkg install crlibm

From the ports tree:

cd /usr/ports/math/crlibm/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	crlibm>0:math/crlibm

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest1.0.b4_21.0.b4_21.0.b4_21.0.b4_21.0.b4_2
FreeBSD:14:quarterly1.0.b4_21.0.b4_2n/a1.0.b4_21.0.b4_2
FreeBSD:15:latest1.0.b4_21.0.b4_2n/a1.0.b4_21.0.b4_2
FreeBSD:15:quarterly1.0.b4_21.0.b4_2n/an/an/a
FreeBSD:16:latest1.0.b4_21.0.b4_2n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

The full lists below include those, and their dependencies in turn.

Build dependencies 3
Run dependencies 3

No port depends on this one.

Configuration

Options name: math_crlibm

OptionDefaultDescription
DOCSoffBuild and/or install documentation
EXTRA_TESTonInclude all test capabilities (requires MPFR)
USES
localbase
Service scripts
none

Message after installing

===>   NOTICE:

The crlibm port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing

Files

pkg-plist 10
  • bin/crlibm_blindtest
  • bin/crlibm_generate_test_vectors
  • bin/crlibm_soaktest
  • bin/crlibm_testperf
  • bin/crlibm_testval
  • include/crlibm.h
  • include/crlibm_config.h
  • include/scs.h
  • lib/libcrlibm.a
  • lib/libscs.a
distinfo 3
FileSizeSHA256
crlibm/crlibm-1.0beta4.tar.gz2.368435e+066836b4299f9421c99da2bdcd5e04a8d35577db4eb61161a401aa93751a96375d
crlibm/crlibm-1.0beta3.pdf1.350926e+06cbde4b66d1fa331fa7806effb41119deb42a294df64c117c966fd659d947a5ea
crlibm/tripledoubleprocedures-1.0beta3.pdf46070455bd342c623e369e5450b36337da3879e18b1a483d55706e2f979c9cce906fac
Master sites 2
  • http://lipforge.ens-lyon.fr/frs/download.php/%SUBDIR%/:1,2,3
  • LOCAL/bf/crlibm:4

Commit history 0

No commits in the history this site was built from.