From 940201ec67c9a69181e44383f227be6113e8f510 Mon Sep 17 00:00:00 2001 From: Thierry Thomas Date: Fri, 26 Jun 2020 20:14:35 +0000 Subject: 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. --- math/e-antic/Makefile | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 math/e-antic/Makefile (limited to 'math/e-antic/Makefile') 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 -- cgit v1.2.3