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/Makefile | |
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/Makefile')
-rw-r--r-- | math/e-antic/Makefile | 36 |
1 files changed, 36 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> |