Date: Fri, 26 Jun 2020 20:14:35 +0000 (UTC) From: Thierry Thomas <thierry@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r540540 - in head/math: . e-antic Message-ID: <202006262014.05QKEZ9f099054@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: thierry Date: Fri Jun 26 20:14:35 2020 New Revision: 540540 URL: https://svnweb.freebsd.org/changeset/ports/540540 Log: 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. Added: head/math/e-antic/ head/math/e-antic/Makefile (contents, props changed) head/math/e-antic/distinfo (contents, props changed) head/math/e-antic/pkg-descr (contents, props changed) head/math/e-antic/pkg-plist (contents, props changed) Modified: head/math/Makefile Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Fri Jun 26 19:14:34 2020 (r540539) +++ head/math/Makefile Fri Jun 26 20:14:35 2020 (r540540) @@ -229,6 +229,7 @@ SUBDIR += dune-spgrid SUBDIR += dune-typetree SUBDIR += dune-uggrid + SUBDIR += e-antic SUBDIR += eclib SUBDIR += ecos SUBDIR += edenmath Added: head/math/e-antic/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/e-antic/Makefile Fri Jun 26 20:14:35 2020 (r540540) @@ -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> Added: head/math/e-antic/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/e-antic/distinfo Fri Jun 26 20:14:35 2020 (r540540) @@ -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 Added: head/math/e-antic/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/e-antic/pkg-descr Fri Jun 26 20:14:35 2020 (r540540) @@ -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 Added: head/math/e-antic/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/e-antic/pkg-plist Fri Jun 26 20:14:35 2020 (r540540) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202006262014.05QKEZ9f099054>