[pkgsrc/trunk]: pkgsrc/math sollya: Import sollya-7.0 as math/sollya

[riastradh <riastradh%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/16c480cd0802
branches:  trunk
changeset: 432171:16c480cd0802
user:      riastradh <riastradh%pkgsrc.org@localhost>
date:      Tue May 19 14:45:21 2020 +0000

description:
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.

diffstat:

 math/Makefile                          |   3 ++-
 math/sollya/DESCR                      |   5 +++++
 math/sollya/Makefile                   |  23 +++++++++++++++++++++++
 math/sollya/PLIST                      |   7 +++++++
 math/sollya/distinfo                   |   9 +++++++++
 math/sollya/patches/patch-configure    |  15 +++++++++++++++
 math/sollya/patches/patch-configure.ac |  15 +++++++++++++++
 math/sollya/patches/patch-general.c    |  15 +++++++++++++++
 8 files changed, 91 insertions(+), 1 deletions(-)

diffs (134 lines):

diff -r 5767793a6475 -r 16c480cd0802 math/Makefile
--- a/math/Makefile     Tue May 19 14:44:42 2020 +0000
+++ b/math/Makefile     Tue May 19 14:45:21 2020 +0000
@@ -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+=       scilab
 SUBDIR+=       slatec
 SUBDIR+=       snns
+SUBDIR+=       sollya
 SUBDIR+=       speedcrunch
 SUBDIR+=       stan-math
 SUBDIR+=       statist
diff -r 5767793a6475 -r 16c480cd0802 math/sollya/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/sollya/DESCR Tue May 19 14:45:21 2020 +0000
@@ -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 -r 5767793a6475 -r 16c480cd0802 math/sollya/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/sollya/Makefile      Tue May 19 14:45:21 2020 +0000
@@ -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@localhost
+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 -r 5767793a6475 -r 16c480cd0802 math/sollya/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/sollya/PLIST Tue May 19 14:45:21 2020 +0000
@@ -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 -r 5767793a6475 -r 16c480cd0802 math/sollya/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/sollya/distinfo      Tue May 19 14:45:21 2020 +0000
@@ -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 -r 5767793a6475 -r 16c480cd0802 math/sollya/patches/patch-configure
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/sollya/patches/patch-configure       Tue May 19 14:45:21 2020 +0000
@@ -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 -r 5767793a6475 -r 16c480cd0802 math/sollya/patches/patch-configure.ac
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/sollya/patches/patch-configure.ac    Tue May 19 14:45:21 2020 +0000
@@ -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 -r 5767793a6475 -r 16c480cd0802 math/sollya/patches/patch-general.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/sollya/patches/patch-general.c       Tue May 19 14:45:21 2020 +0000
@@ -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>