Update wip/sollya to version 6.0.

[Alexander Nasonov <alnsn%yandex.ru@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Alexander Nasonov <alnsn%yandex.ru@localhost>
Pushed By:	alnsn
Date:		Sat May 5 10:28:37 2018 +0100
Changeset:	4418e4b09570d1b63c859509d2f6c2c6fe748912

Modified Files:
	sollya/Makefile
	sollya/PLIST
	sollya/distinfo
Removed Files:
	sollya/patches/patch-configure

Log Message:
Update wip/sollya to version 6.0.

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=4418e4b09570d1b63c859509d2f6c2c6fe748912

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 sollya/Makefile                | 12 ++++-----
 sollya/PLIST                   |  2 ++
 sollya/distinfo                |  9 +++----
 sollya/patches/patch-configure | 59 ------------------------------------------
 4 files changed, 12 insertions(+), 70 deletions(-)

diffs:
diff --git a/sollya/Makefile b/sollya/Makefile
index 2dd1330b65..208cc8b0ef 100644
--- a/sollya/Makefile
+++ b/sollya/Makefile
@@ -1,13 +1,13 @@
 # $NetBSD: Makefile,v 1.1 2015/05/20 22:33:29 alnsn Exp $
 
-DISTNAME=	sollya-5.0
+DISTNAME=	sollya-6.0
 CATEGORIES=	math
-MASTER_SITES=	https://gforge.inria.fr/frs/download.php/33151/
+MASTER_SITES=	https://gforge.inria.fr/frs/download.php/36270/
 
 MAINTAINER=	alnsn%yandex.ru@localhost
-HOMEPAGE=	https://gforge.inria.fr/frs/download.php/33151/
+HOMEPAGE=	https://gforge.inria.fr/projects/sollya/
 COMMENT=	Environment and library for safe floating-point code development
-LICENSE=	cecil-1.0 AND gnu-gpl-v3
+LICENSE=	cecil-1.0 AND gnu-lgpl-v3
 
 # XXX Form is optional, check the licence terms if distribution is allowed
 RESTRICTED=		Optional form on download page
@@ -20,11 +20,11 @@ GNU_CONFIGURE=	yes
 USE_LIBTOOL=	yes
 USE_LANGUAGES=	c c++
 
-WRKSRC=	${WRKDIR}/sollya-4.1
+WRKSRC=	${WRKDIR}/${DISTNAME}
 
 .include "../../devel/gmp/buildlink3.mk"
 .include "../../math/mpfr/buildlink3.mk"
 .include "../../textproc/libxml2/buildlink3.mk"
-.include "../../wip/libfplll/buildlink3.mk"
+.include "../../wip/fplll/buildlink3.mk"
 .include "../../wip/mpfi/buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"
diff --git a/sollya/PLIST b/sollya/PLIST
index 7026f6181d..b37e7c09fa 100644
--- a/sollya/PLIST
+++ b/sollya/PLIST
@@ -3,3 +3,5 @@ bin/sollya
 include/sollya-messages.h
 include/sollya.h
 lib/libsollya.la
+man/man1/sollya.1
+share/doc/sollya/sollya.pdf
diff --git a/sollya/distinfo b/sollya/distinfo
index dd21ea44de..6456079d78 100644
--- a/sollya/distinfo
+++ b/sollya/distinfo
@@ -1,7 +1,6 @@
 $NetBSD: distinfo,v 1.1 2015/05/20 22:33:29 alnsn Exp $
 
-SHA1 (sollya-5.0.tar.gz) = ec8505a7e47d475b88de8e84a8668aa1dc5570c8
-RMD160 (sollya-5.0.tar.gz) = d6d997c7e27efb11053043292f2e6e3272f7339e
-SHA512 (sollya-5.0.tar.gz) = 200f99439978c8aaf5c121cb568dbdeb1f28d2edded1e53a2bf630fd18969b4e436a96b3ac3fd47840655f50c3406cf776b0c6adf8e766d1f9a7341342a09661
-Size (sollya-5.0.tar.gz) = 2831736 bytes
-SHA1 (patch-configure) = fa56ea70faf199470aa709f3f8a8e0f8cb40a62c
+SHA1 (sollya-6.0.tar.gz) = b08be0502c7c9de1a8a31c237ef1f0fc130963b1
+RMD160 (sollya-6.0.tar.gz) = 41faeadc45063af57fdaa399ff99f83a3211dd41
+SHA512 (sollya-6.0.tar.gz) = ef7a4bd9f0195d2cd96f0514b4f7b7e67d23b784c282a5f5dec65b54fc86740adae6ef8835cfc865edab637857ea5b43629394a020aeedaf2792a1a76d149c84
+Size (sollya-6.0.tar.gz) = 3578763 bytes
diff --git a/sollya/patches/patch-configure b/sollya/patches/patch-configure
deleted file mode 100644
index a969651dc9..0000000000
--- a/sollya/patches/patch-configure
+++ /dev/null
@@ -1,59 +0,0 @@
-$NetBSD: patch-configure,v 1.1 2015/05/20 22:33:29 alnsn Exp $
-
-Replace test a == b with test a = b.
-
---- configure.orig	2013-11-21 16:13:37.000000000 +0000
-+++ configure
-@@ -15770,7 +15770,7 @@ else
- fi
- 
- 
--if test "x${ENABLE_LEGACY_MEMORY_MANAGEMENT}y" == "xyesy" ; then
-+if test "x${ENABLE_LEGACY_MEMORY_MANAGEMENT}y" = "xyesy" ; then
- 
- $as_echo "#define HAVE_ENABLE_LEGACY_MEMORY_MANAGEMENT 1" >>confdefs.h
- 
-@@ -16193,7 +16193,7 @@ else
-   dlopen_ok="no"
- fi
- 
--if test "x${dlopen_ok}y" == "xnoy" ; then
-+if test "x${dlopen_ok}y" = "xnoy" ; then
-   { $as_echo "$as_me:${as_lineno-$LINENO}: checking for dlopen in -ldl" >&5
- $as_echo_n "checking for dlopen in -ldl... " >&6; }
- if ${ac_cv_lib_dl_dlopen+:} false; then :
-@@ -16953,7 +16953,7 @@ fi
- rm -f core conftest.err conftest.$ac_objext \
-     conftest$ac_exeext conftest.$ac_ext
- 
--if test "x${FPLLLISREALLIB}y" == "xnoy"
-+if test "x${FPLLLISREALLIB}y" = "xnoy"
- then
-   { $as_echo "$as_me:${as_lineno-$LINENO}: checking for fplll support, fplll being just a header file" >&5
- $as_echo_n "checking for fplll support, fplll being just a header file... " >&6; }
-@@ -17001,14 +17001,14 @@ rm -f core conftest.err conftest.$ac_obj
-     conftest$ac_exeext conftest.$ac_ext
- fi
- 
--if test "x${FPLLLISREALLIB}y" == "xyesy"
-+if test "x${FPLLLISREALLIB}y" = "xyesy"
- then
-   FPLLLVERSIONSTRING="$FPLLLVERSIONSTRING linkage with -lfplll is compatible. Header file"
- else
-   FPLLLVERSIONSTRING="$FPLLLVERSIONSTRING linkage with -lfplll is not compatible. Header file"
- fi
- 
--if test "x${FPLLLSPECIALINCLUDE}y" == "xyesy"
-+if test "x${FPLLLSPECIALINCLUDE}y" = "xyesy"
- then
-   FPLLL_GOOD_HEADER="$FPLLL_SPECIAL_HEADER"
- 
-@@ -17085,7 +17085,7 @@ ac_compile='$CC -c $CFLAGS $CPPFLAGS con
- ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
- ac_compiler_gnu=$ac_cv_c_compiler_gnu
- 
--if test "x${ADD_LSTDC}y" == "xnoy"
-+if test "x${ADD_LSTDC}y" = "xnoy"
- then
-   LIBS="$OLD_LIBS"
- fi