sollya: Import sollya-7.0 as math/sollya

Sollya is a tool environment and a library for safe floating-point
code development, particularly targeted at automated implementation
of math libraries like libm.

Derived from wip/sollya.

8 files changed, 91 insertions, 1 deletions

diff --git a/math/Makefile b/math/Makefile
index bacee84667e..f136c7db7d4 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.461 2020/05/19 14:44:42 riastradh Exp $
+# $NetBSD: Makefile,v 1.462 2020/05/19 14:45:21 riastradh Exp $
 
 COMMENT=	Mathematics
 
@@ -387,6 +387,7 @@ SUBDIR+=	sc-im
 SUBDIR+=	scilab
 SUBDIR+=	slatec
 SUBDIR+=	snns
+SUBDIR+=	sollya
 SUBDIR+=	speedcrunch
 SUBDIR+=	stan-math
 SUBDIR+=	statist
diff --git a/math/sollya/DESCR b/math/sollya/DESCR
new file mode 100644
index 00000000000..03980a484ff
--- /dev/null
+++ b/math/sollya/DESCR
@@ -0,0 +1,5 @@
+Sollya is both a tool environment and a library for safe floating-point
+code development. It is particularily targeted to the automatized
+implementation of mathematical floating-point libraries (libm). Amongst
+other features, it offers a certified infinity (supremum) norm and a
+fast Remez algorithm.
diff --git a/math/sollya/Makefile b/math/sollya/Makefile
new file mode 100644
index 00000000000..659f66e89b9
--- /dev/null
+++ b/math/sollya/Makefile
@@ -0,0 +1,23 @@
+# $NetBSD: Makefile,v 1.1 2020/05/19 14:45:21 riastradh Exp $
+
+DISTNAME=	sollya-7.0
+CATEGORIES=	math
+MASTER_SITES=	https://gforge.inria.fr/frs/download.php/file/37749/
+
+MAINTAINER=	pkgsrc-users@NetBSD.org
+HOMEPAGE=	http://sollya.gforge.inria.fr/
+COMMENT=	Environment and library for safe floating-point code development
+LICENSE=	cecill-2.0 AND gnu-lgpl-v3
+
+GNU_CONFIGURE=	yes
+USE_LIBTOOL=	yes
+USE_LANGUAGES=	c c++
+
+TEST_TARGET=	check
+
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../math/fplll/buildlink3.mk"
+.include "../../math/mpfi/buildlink3.mk"
+.include "../../math/mpfr/buildlink3.mk"
+.include "../../textproc/libxml2/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/math/sollya/PLIST b/math/sollya/PLIST
new file mode 100644
index 00000000000..b4fe84814a6
--- /dev/null
+++ b/math/sollya/PLIST
@@ -0,0 +1,7 @@
+@comment $NetBSD: PLIST,v 1.1 2020/05/19 14:45:21 riastradh Exp $
+bin/sollya
+include/sollya-messages.h
+include/sollya.h
+lib/libsollya.la
+man/man1/sollya.1
+share/doc/sollya/sollya.pdf
diff --git a/math/sollya/distinfo b/math/sollya/distinfo
new file mode 100644
index 00000000000..18396bf0c9c
--- /dev/null
+++ b/math/sollya/distinfo
@@ -0,0 +1,9 @@
+$NetBSD: distinfo,v 1.1 2020/05/19 14:45:21 riastradh Exp $
+
+SHA1 (sollya-7.0.tar.gz) = ee14b55752842bc21dcd772204e4bc427844dea0
+RMD160 (sollya-7.0.tar.gz) = fb207ccd874d70de0d9b2ee9667ea4e82fe31846
+SHA512 (sollya-7.0.tar.gz) = 14dc25ffdfae16c52b335525eb26c787e561a5b9787fe65a9858e84d49f7386dfe2f7c0b7d18268a54a2f7227f506f6dbeecf7455d1ad49bef9dafbc25c30bef
+Size (sollya-7.0.tar.gz) = 3722904 bytes
+SHA1 (patch-configure) = 221a95f05cda20d68ed25826ace212a4cc077588
+SHA1 (patch-configure.ac) = 0d1d734a4d04983a30e4ed1945812b9afcb5d0bb
+SHA1 (patch-general.c) = 06e8a654250885ccc61481e5155c64c4c2b0374d
diff --git a/math/sollya/patches/patch-configure b/math/sollya/patches/patch-configure
new file mode 100644
index 00000000000..7785eb99dad
--- /dev/null
+++ b/math/sollya/patches/patch-configure
@@ -0,0 +1,15 @@
+$NetBSD: patch-configure,v 1.1 2020/05/19 14:45:21 riastradh Exp $
+
+Fix shell portability.
+
+--- configure.orig	2018-09-20 12:01:05.000000000 +0000
++++ configure
+@@ -16641,7 +16641,7 @@ $as_echo_n "checking whether help2man su
+ $as_echo "$HELP2MAN_SUPPORTS_LOCALE" >&6; }
+   rm -rf .tmp_help2man
+ fi
+- if test "x$HELP2MAN_SUPPORTS_LOCALE" == "xyes"; then
++ if test "x$HELP2MAN_SUPPORTS_LOCALE" = "xyes"; then
+   HAVE_HELP2MAN_LOCALE_TRUE=
+   HAVE_HELP2MAN_LOCALE_FALSE='#'
+ else
diff --git a/math/sollya/patches/patch-configure.ac b/math/sollya/patches/patch-configure.ac
new file mode 100644
index 00000000000..f324a98fddb
--- /dev/null
+++ b/math/sollya/patches/patch-configure.ac
@@ -0,0 +1,15 @@
+$NetBSD: patch-configure.ac,v 1.1 2020/05/19 14:45:21 riastradh Exp $
+
+Fix shell portability.
+
+--- configure.ac.orig	2018-09-20 11:11:30.000000000 +0000
++++ configure.ac
+@@ -63,7 +63,7 @@ then
+   AC_MSG_RESULT($HELP2MAN_SUPPORTS_LOCALE)
+   rm -rf .tmp_help2man
+ fi
+-AM_CONDITIONAL([HAVE_HELP2MAN_LOCALE], [test "x$HELP2MAN_SUPPORTS_LOCALE" == "xyes"])
++AM_CONDITIONAL([HAVE_HELP2MAN_LOCALE], [test "x$HELP2MAN_SUPPORTS_LOCALE" = "xyes"])
+ 
+ #Checking for pdflatex with the required packages
+ AC_PATH_PROG([PDFLATEX],[pdflatex],[no])
diff --git a/math/sollya/patches/patch-general.c b/math/sollya/patches/patch-general.c
new file mode 100644
index 00000000000..bbaf6ef8966
--- /dev/null
+++ b/math/sollya/patches/patch-general.c
@@ -0,0 +1,15 @@
+$NetBSD: patch-general.c,v 1.1 2020/05/19 14:45:21 riastradh Exp $
+
+Get declarations for gettimeofday and clock_gettime on NetBSD.
+
+--- general.c.orig	2018-08-27 08:32:07.000000000 +0000
++++ general.c
+@@ -73,7 +73,7 @@
+ #include "signalhandling.h"
+ 
+ #define _POSIX_SOURCE
+-#define _POSIX_C_SOURCE 199309L
++#define _POSIX_C_SOURCE 200112L
+ 
+ #include <sys/types.h>
+ #include <gmp.h>