Update to 1.2

Upstream changes:
NEWS for version 1.2  (released on February 11, 2016)
--------------------------------------------------------------------------

New and Changed Features
========================

o  Improved the efficiency of the conversion procedure for polyhedra
   by adding a quick adjacency check.

o  In the Java language interface, throw an exception when trying
   to build a disequality Constraint.


Bugfixes
========

o  Fixed a bug in the implementation of methods
     Pointset_Powerset<PSET>::relation_with(const Constraint&) const;
   and
     Pointset_Powerset<PSET>::relation_with(const Congruence&) const;
   whereby the computed result for relations strictly_intersects()
   and saturates() could have been wrong.

o  Fixed a bug in the implementation of dense rows.

o  Portability improved.

3 files changed, 70 insertions, 96 deletions

diff --git a/math/ppl/Makefile b/math/ppl/Makefile
index 44bcc67231f..73bc6ff4be1 100644
--- a/math/ppl/Makefile
+++ b/math/ppl/Makefile
@@ -1,10 +1,8 @@
-# $NetBSD: Makefile,v 1.12 2018/08/22 09:45:41 wiz Exp $
+# $NetBSD: Makefile,v 1.13 2019/02/09 13:05:16 wen Exp $
 
-DISTNAME=	ppl-1.1
-PKGREVISION=	5
+DISTNAME=	ppl-1.2
 CATEGORIES=	math
-#MASTER_SITES=	ftp://gcc.gnu.org/pub/gcc/infrastructure/
-MASTER_SITES=	ftp://ftp.cs.unipr.it/pub/ppl/releases/1.1/
+MASTER_SITES=	ftp://ftp.cs.unipr.it/pub/ppl/releases/1.2/
 
 MAINTAINER=	pkgsrc-users@NetBSD.org
 HOMEPAGE=	http://www.cs.unipr.it/ppl/
@@ -25,7 +23,7 @@ CONFIGURE_ARGS+=	--with-gmp-prefix=${PREFIX}
 do-build:
 	set -e; cd ${WRKSRC}; ${SETENV} ${MAKE_ENV} ${GMAKE}
 
-TEST_TARGET=	-k check
+TEST_TARGET=	check
 
 .include "../../devel/gmp/buildlink3.mk"
 .include "../../math/mpfr/buildlink3.mk"
diff --git a/math/ppl/PLIST b/math/ppl/PLIST
index 649796f647b..11e19bd0256 100644
--- a/math/ppl/PLIST
+++ b/math/ppl/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.2 2014/02/04 19:15:09 wiz Exp $
+@comment $NetBSD: PLIST,v 1.3 2019/02/09 13:05:16 wen Exp $
 bin/ppl-config
 bin/ppl_lcdd
 bin/ppl_pips
@@ -33,6 +33,8 @@ share/doc/ppl/ppl-user-${PKGVERSION}-html/GFDL.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/GPL.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/annotated.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/annotated.js
+share/doc/ppl/ppl-user-${PKGVERSION}-html/arrowdown.png
+share/doc/ppl/ppl-user-${PKGVERSION}-html/arrowright.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/bc_s.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/bdwn.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Approximable__Reference.html
@@ -164,7 +166,6 @@ share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Grid
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Grid__Generator__System.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Grid__Generator__System_1_1const__iterator-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Grid__Generator__System_1_1const__iterator.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Grid__Generator__System_1_1const__iterator.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1H79__Certificate-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1H79__Certificate.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1H79__Certificate.js
@@ -223,7 +224,6 @@ share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Line
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Linear__Expression.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Linear__Expression_1_1const__iterator-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Linear__Expression_1_1const__iterator.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Linear__Expression_1_1const__iterator.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Linear__Expression__Impl_1_1const__iterator-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Linear__Expression__Impl_1_1const__iterator.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Linear__Expression__Interface_1_1const__iterator__interface-members.html
@@ -239,7 +239,6 @@ share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1MIP_
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1MIP__Problem.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1MIP__Problem_1_1const__iterator-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1MIP__Problem_1_1const__iterator.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1MIP__Problem_1_1const__iterator.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Multiplication__Floating__Point__Expression-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Multiplication__Floating__Point__Expression.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Multiplication__Floating__Point__Expression.js
@@ -354,9 +353,12 @@ share/doc/ppl/ppl-user-${PKGVERSION}-html/classParma__Polyhedra__Library_1_1Watc
 share/doc/ppl/ppl-user-${PKGVERSION}-html/classes.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/closed.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/dir_68267d1309a1af8e8297ef4c3efbcdba.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/doc.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/doxygen.css
 share/doc/ppl/ppl-user-${PKGVERSION}-html/doxygen.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/dynsections.js
+share/doc/ppl/ppl-user-${PKGVERSION}-html/folderclosed.png
+share/doc/ppl/ppl-user-${PKGVERSION}-html/folderopen.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/form_0.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/form_1.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/form_10.png
@@ -1244,75 +1246,59 @@ share/doc/ppl/ppl-user-${PKGVERSION}-html/form_97.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/form_98.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/form_99.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/formula.repository
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2blank.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2cl.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2doc.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2folderclosed.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2folderopen.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2lastnode.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2link.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2mlastnode.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2mnode.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2mo.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2node.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2ns.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2plastnode.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2pnode.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2splitbar.png
-share/doc/ppl/ppl-user-${PKGVERSION}-html/ftv2vertline.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x62.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x63.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x64.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x65.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x66.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x67.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x68.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x69.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x6b.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x6c.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x6d.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x6e.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x6f.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x70.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x72.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x73.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x74.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x75.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x76.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x77.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x7a.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_0x7e.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_b.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_c.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_d.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_dup.js
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_e.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_enum.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_eval.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_f.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func.js
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x62.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x63.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x64.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x65.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x66.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x67.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x68.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x69.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x6b.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x6c.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x6d.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x6e.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x6f.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x70.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x72.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x73.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x74.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x75.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x76.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x77.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x7a.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_0x7e.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_b.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_c.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_d.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_e.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_f.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_g.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_h.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_i.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_k.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_l.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_m.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_n.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_o.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_p.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_r.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_s.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_t.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_u.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_v.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_w.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_z.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_func_~.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_g.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_h.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_i.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_k.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_l.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_m.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_n.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_o.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_p.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_r.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_rela.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_s.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_t.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_type.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_u.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_v.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_vars.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_w.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_z.html
+share/doc/ppl/ppl-user-${PKGVERSION}-html/functions_~.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/graph_legend.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/graph_legend.md5
 share/doc/ppl/ppl-user-${PKGVERSION}-html/graph_legend.png
@@ -1341,6 +1327,7 @@ share/doc/ppl/ppl-user-${PKGVERSION}-html/nav_g.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/nav_h.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/navtree.css
 share/doc/ppl/ppl-user-${PKGVERSION}-html/navtree.js
+share/doc/ppl/ppl-user-${PKGVERSION}-html/navtreedata.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/navtreeindex0.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/navtreeindex1.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/navtreeindex10.js
@@ -1355,15 +1342,13 @@ share/doc/ppl/ppl-user-${PKGVERSION}-html/navtreeindex9.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/open.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/pages.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/resize.js
+share/doc/ppl/ppl-user-${PKGVERSION}-html/splitbar.png
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1BHRZ03__Certificate_1_1Compare-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1BHRZ03__Certificate_1_1Compare.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1BHRZ03__Certificate_1_1Compare.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1Grid__Certificate_1_1Compare-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1Grid__Certificate_1_1Compare.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1Grid__Certificate_1_1Compare.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1H79__Certificate_1_1Compare-members.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1H79__Certificate_1_1Compare.html
-share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1H79__Certificate_1_1Compare.js
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1PIP__Solution__Node_1_1No__Constraints.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1Recycle__Input.html
 share/doc/ppl/ppl-user-${PKGVERSION}-html/structParma__Polyhedra__Library_1_1Select__Temp__Boundary__Type-members.html
@@ -1383,15 +1368,20 @@ share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/GFDL_different_HTML_tag.ht
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/GPL_different_HTML_tag.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/annotated.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/annotated.js
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/arrowdown.png
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/arrowright.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/bc_s.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/bdwn.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/classes.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/closed.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/dir_c01359145d3cf7aebaa0b0e065e28c0d.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/dir_ff6b5900125bb0123025c1cb24bdc726.html
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/doc.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/doxygen.css
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/doxygen.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/dynsections.js
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/folderclosed.png
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/folderopen.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/form_0.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/form_1.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/form_10.png
@@ -1419,29 +1409,13 @@ share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/form_7.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/form_8.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/form_9.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/formula.repository
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2blank.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2cl.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2doc.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2folderclosed.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2folderopen.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2lastnode.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2link.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2mlastnode.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2mnode.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2mo.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2node.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2ns.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2plastnode.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2pnode.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2splitbar.png
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/ftv2vertline.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions.html
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions_0x77.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions_dup.js
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions_func.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions_func.js
-share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions_func_0x77.html
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions_func_w.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions_vars.html
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/functions_w.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/graph_legend.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/graph_legend.md5
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/graph_legend.png
@@ -1541,6 +1515,7 @@ share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/nav_g.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/nav_h.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/navtree.css
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/navtree.js
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/navtreedata.js
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/navtreeindex0.js
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/navtreeindex1.js
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/navtreeindex2.js
@@ -1548,6 +1523,7 @@ share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/navtreeindex3.js
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/open.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/pages.html
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/resize.js
+share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/splitbar.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/sync_off.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/sync_on.png
 share/doc/ppl/ppl-user-c-interface-${PKGVERSION}-html/tab_a.png
diff --git a/math/ppl/distinfo b/math/ppl/distinfo
index fac661c32c8..bf54b00acc8 100644
--- a/math/ppl/distinfo
+++ b/math/ppl/distinfo
@@ -1,8 +1,8 @@
-$NetBSD: distinfo,v 1.5 2017/02/28 15:01:27 joerg Exp $
+$NetBSD: distinfo,v 1.6 2019/02/09 13:05:16 wen Exp $
 
-SHA1 (ppl-1.1.tar.gz) = d24c79f7299320e6a344711aaec74bd2d5015b15
-RMD160 (ppl-1.1.tar.gz) = 3619a9ed076c05bd042b5f2c3d6545a018c9908a
-SHA512 (ppl-1.1.tar.gz) = 45e42eeb3e0bf5dbbb031b9980a556fc2e3134fdf0a8f58ed2d86ac8613aa45fe2725bcc2a02555317e8d639cc2277899b045770c4cfa7361eab438713e19490
-Size (ppl-1.1.tar.gz) = 17281194 bytes
+SHA1 (ppl-1.2.tar.gz) = ecea680d11a8649c093e8e4686df39570594ac26
+RMD160 (ppl-1.2.tar.gz) = 12a7a4497817dce117c5ca9e5a61ee09058c1de4
+SHA512 (ppl-1.2.tar.gz) = dc0fe8acf5848860ffac408cfe9f228c87b121515755f69a4d242b07e7fde72ed3e830f83bb5c25ac76ea324aabfea5f99cec51392730e02cafbd51ab1d2121c
+Size (ppl-1.2.tar.gz) = 16684340 bytes
 SHA1 (patch-src_Determinate__inlines.hh) = 11b78fd028f7264ac06a1ca90ba375bcb446a3c6
 SHA1 (patch-src_OR__Matrix__inlines.hh) = 1cde5fbb5bda39142a432b35d39cbbeada8a3939