summaryrefslogtreecommitdiff
path: root/math/e-antic/Makefile
diff options
context:
space:
mode:
authorThierry Thomas <thierry@FreeBSD.org>2020-06-26 20:14:35 +0000
committerThierry Thomas <thierry@FreeBSD.org>2020-06-26 20:14:35 +0000
commit940201ec67c9a69181e44383f227be6113e8f510 (patch)
tree922be571bb6146e128449d7f48c6a184333afd77 /math/e-antic/Makefile
parentRemove 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/Makefile36
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>