diff options
| author | Thierry Thomas <thierry@FreeBSD.org> | 2020-06-26 20:14:35 +0000 |
|---|---|---|
| committer | Thierry Thomas <thierry@FreeBSD.org> | 2020-06-26 20:14:35 +0000 |
| commit | 940201ec67c9a69181e44383f227be6113e8f510 (patch) | |
| tree | 922be571bb6146e128449d7f48c6a184333afd77 /math/e-antic | |
| parent | Remove three arm-specific local patches since r524029 restricted this (diff) | |
Adding E-ANTIC, a C/C++ library to deal with real embedded number fields
built on top of ANTIC (ports/math/antic). Its aim is to have as fast as
possible exact arithmetic operations and comparisons.
Notes
Notes:
svn path=/head/; revision=540540
Diffstat (limited to 'math/e-antic')
| -rw-r--r-- | math/e-antic/Makefile | 36 | ||||
| -rw-r--r-- | math/e-antic/distinfo | 3 | ||||
| -rw-r--r-- | math/e-antic/pkg-descr | 5 | ||||
| -rw-r--r-- | math/e-antic/pkg-plist | 17 |
4 files changed, 61 insertions, 0 deletions
diff --git a/math/e-antic/Makefile b/math/e-antic/Makefile new file mode 100644 index 000000000000..0bbcb8e27de8 --- /dev/null +++ b/math/e-antic/Makefile @@ -0,0 +1,36 @@ +# Created by: thierry@pompo.net +# $FreeBSD$ + +PORTNAME= e-antic +PORTVERSION= 0.1.7 +#MASTER_SITES= https://www.labri.fr/perso/vdelecro/e-antic/ +CATEGORIES= math + +MAINTAINER= thierry@FreeBSD.org +COMMENT= Real Embedded Algebraic Number Theory In C + +LICENSE= GPLv3 LGPL3 +LICENSE_COMB= dual + +LIB_DEPENDS= libarb.so:math/arb \ + libgmp.so:math/gmp \ + libflint.so:math/flint2 + +USE_GITHUB= yes +GH_ACCOUNT= videlec + +USES= autoreconf compiler:c++11-lang gmake libtool localbase + +OPTIONS_DEFINE= DOCS VALGRIND + +LIBS+= "-lm" +GNU_CONFIGURE= yes +USE_LDCONFIG= yes +TEST_TARGET= check + +VALGRIND_DESC= Enable Valgrind on the unit tests +VALGRIND_BUILD_DEPENDS= valgrind:devel/valgrind +VALGRIND_TEST_DEPENDS= valgrind:devel/valgrind +VALGRIND_CONFIGURE_ENABLE= valgrind + +.include <bsd.port.mk> diff --git a/math/e-antic/distinfo b/math/e-antic/distinfo new file mode 100644 index 000000000000..3d1e9533335c --- /dev/null +++ b/math/e-antic/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1592513100 +SHA256 (videlec-e-antic-0.1.7_GH0.tar.gz) = 700bae00a11006702fdcce7168dfc1f6a4194f37c64bcf79b587bfd7e03a6303 +SIZE (videlec-e-antic-0.1.7_GH0.tar.gz) = 127990 diff --git a/math/e-antic/pkg-descr b/math/e-antic/pkg-descr new file mode 100644 index 000000000000..c913ca33df40 --- /dev/null +++ b/math/e-antic/pkg-descr @@ -0,0 +1,5 @@ +E-ANTIC is a C/C++ library to deal with real embedded number fields built on +top of ANTIC (ports/math/antic). Its aim is to have as fast as possible exact +arithmetic operations and comparisons. + +WWW: https://github.com/videlec/e-antic diff --git a/math/e-antic/pkg-plist b/math/e-antic/pkg-plist new file mode 100644 index 000000000000..8981cee25fd7 --- /dev/null +++ b/math/e-antic/pkg-plist @@ -0,0 +1,17 @@ +include/e-antic/e-antic.h +include/e-antic/nf.h +include/e-antic/nf_elem.h +include/e-antic/poly_extra.h +include/e-antic/renf.h +include/e-antic/renf_elem.h +include/e-antic/renfxx.h +lib/libeantic.a +lib/libeantic.so +lib/libeantic.so.0 +lib/libeantic.so.0.0.0 +lib/libeanticxx.a +lib/libeanticxx.so +lib/libeanticxx.so.0 +lib/libeanticxx.so.0.0.0 +%%PORTDOCS%%%%DOCSDIR%%/README +%%PORTDOCS%%%%DOCSDIR%%/poly_extra.txt |