pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/math
Module Name: pkgsrc
Committed By: riastradh
Date: Tue May 19 14:45:22 UTC 2020
Modified Files:
pkgsrc/math: Makefile
Added Files:
pkgsrc/math/sollya: DESCR Makefile PLIST distinfo
pkgsrc/math/sollya/patches: patch-configure patch-configure.ac
patch-general.c
Log Message:
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.
To generate a diff of this commit:
cvs rdiff -u -r1.461 -r1.462 pkgsrc/math/Makefile
cvs rdiff -u -r0 -r1.1 pkgsrc/math/sollya/DESCR pkgsrc/math/sollya/Makefile \
pkgsrc/math/sollya/PLIST pkgsrc/math/sollya/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/sollya/patches/patch-configure \
pkgsrc/math/sollya/patches/patch-configure.ac \
pkgsrc/math/sollya/patches/patch-general.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: pkgsrc/math/Makefile
diff -u pkgsrc/math/Makefile:1.461 pkgsrc/math/Makefile:1.462
--- pkgsrc/math/Makefile:1.461 Tue May 19 14:44:42 2020
+++ pkgsrc/math/Makefile Tue May 19 14:45:21 2020
@@ -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
Added files:
Index: pkgsrc/math/sollya/DESCR
diff -u /dev/null pkgsrc/math/sollya/DESCR:1.1
--- /dev/null Tue May 19 14:45:22 2020
+++ pkgsrc/math/sollya/DESCR Tue May 19 14:45:21 2020
@@ -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.
Index: pkgsrc/math/sollya/Makefile
diff -u /dev/null pkgsrc/math/sollya/Makefile:1.1
--- /dev/null Tue May 19 14:45:22 2020
+++ pkgsrc/math/sollya/Makefile Tue May 19 14:45:21 2020
@@ -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"
Index: pkgsrc/math/sollya/PLIST
diff -u /dev/null pkgsrc/math/sollya/PLIST:1.1
--- /dev/null Tue May 19 14:45:22 2020
+++ pkgsrc/math/sollya/PLIST Tue May 19 14:45:21 2020
@@ -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
Index: pkgsrc/math/sollya/distinfo
diff -u /dev/null pkgsrc/math/sollya/distinfo:1.1
--- /dev/null Tue May 19 14:45:22 2020
+++ pkgsrc/math/sollya/distinfo Tue May 19 14:45:21 2020
@@ -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
Index: pkgsrc/math/sollya/patches/patch-configure
diff -u /dev/null pkgsrc/math/sollya/patches/patch-configure:1.1
--- /dev/null Tue May 19 14:45:22 2020
+++ pkgsrc/math/sollya/patches/patch-configure Tue May 19 14:45:21 2020
@@ -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
Index: pkgsrc/math/sollya/patches/patch-configure.ac
diff -u /dev/null pkgsrc/math/sollya/patches/patch-configure.ac:1.1
--- /dev/null Tue May 19 14:45:22 2020
+++ pkgsrc/math/sollya/patches/patch-configure.ac Tue May 19 14:45:21 2020
@@ -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])
Index: pkgsrc/math/sollya/patches/patch-general.c
diff -u /dev/null pkgsrc/math/sollya/patches/patch-general.c:1.1
--- /dev/null Tue May 19 14:45:22 2020
+++ pkgsrc/math/sollya/patches/patch-general.c Tue May 19 14:45:21 2020
@@ -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>
Home |
Main Index |
Thread Index |
Old Index