head 1.15;
access;
symbols
pkgsrc-2020Q1:1.15.0.2
pkgsrc-2020Q1-base:1.15
pkgsrc-2019Q4:1.15.0.4
pkgsrc-2019Q4-base:1.15
pkgsrc-2019Q3:1.14.0.2
pkgsrc-2019Q3-base:1.14
pkgsrc-2019Q2:1.13.0.4
pkgsrc-2019Q2-base:1.13
pkgsrc-2019Q1:1.13.0.2
pkgsrc-2019Q1-base:1.13
pkgsrc-2018Q4:1.12.0.4
pkgsrc-2018Q4-base:1.12
pkgsrc-2018Q3:1.12.0.2
pkgsrc-2018Q3-base:1.12
pkgsrc-2018Q2:1.10.0.4
pkgsrc-2018Q2-base:1.10
pkgsrc-2018Q1:1.10.0.2
pkgsrc-2018Q1-base:1.10
pkgsrc-2017Q4:1.9.0.14
pkgsrc-2017Q4-base:1.9
pkgsrc-2017Q3:1.9.0.12
pkgsrc-2017Q3-base:1.9
pkgsrc-2017Q2:1.9.0.8
pkgsrc-2017Q2-base:1.9
pkgsrc-2017Q1:1.9.0.6
pkgsrc-2017Q1-base:1.9
pkgsrc-2016Q4:1.9.0.4
pkgsrc-2016Q4-base:1.9
pkgsrc-2016Q3:1.9.0.2
pkgsrc-2016Q3-base:1.9
pkgsrc-2016Q2:1.8.0.10
pkgsrc-2016Q2-base:1.8
pkgsrc-2016Q1:1.8.0.8
pkgsrc-2016Q1-base:1.8
pkgsrc-2015Q4:1.8.0.6
pkgsrc-2015Q4-base:1.8
pkgsrc-2015Q3:1.8.0.4
pkgsrc-2015Q3-base:1.8
pkgsrc-2015Q2:1.8.0.2
pkgsrc-2015Q2-base:1.8
pkgsrc-2015Q1:1.7.0.8
pkgsrc-2015Q1-base:1.7
pkgsrc-2014Q4:1.7.0.6
pkgsrc-2014Q4-base:1.7
pkgsrc-2014Q3:1.7.0.4
pkgsrc-2014Q3-base:1.7
pkgsrc-2014Q2:1.7.0.2
pkgsrc-2014Q2-base:1.7
pkgsrc-2014Q1:1.6.0.2
pkgsrc-2014Q1-base:1.6
pkgsrc-2013Q4:1.4.0.6
pkgsrc-2013Q4-base:1.4
pkgsrc-2013Q3:1.4.0.4
pkgsrc-2013Q3-base:1.4
pkgsrc-2013Q2:1.4.0.2
pkgsrc-2013Q2-base:1.4
pkgsrc-2013Q1:1.3.0.4
pkgsrc-2013Q1-base:1.3
pkgsrc-2012Q4:1.3.0.2
pkgsrc-2012Q4-base:1.3
pkgsrc-2012Q3:1.2.0.2
pkgsrc-2012Q3-base:1.2
pkgsrc-2012Q2:1.1.1.1.0.2
pkgsrc-2012Q2-base:1.1.1.1
pkgsrc-20120408:1.1.1.1
TNF:1.1.1;
locks; strict;
comment @# @;
1.15
date 2019.11.02.16.16.21; author rillig; state Exp;
branches;
next 1.14;
commitid 8i1eJQVJcj8NjiJB;
1.14
date 2019.08.11.13.21.52; author wiz; state Exp;
branches;
next 1.13;
commitid Ifet9Pg6Qt99ZByB;
1.13
date 2019.02.09.13.05.16; author wen; state Exp;
branches;
next 1.12;
commitid xQotDIQWhhiAO5bB;
1.12
date 2018.08.22.09.45.41; author wiz; state Exp;
branches;
next 1.11;
commitid YLub8g3ofvFGb6PA;
1.11
date 2018.07.18.00.06.21; author joerg; state Exp;
branches;
next 1.10;
commitid 9fkLzQuPlqFC7yKA;
1.10
date 2018.01.28.16.24.14; author wiz; state Exp;
branches;
next 1.9;
commitid LOrJXggMMAXd2FoA;
1.9
date 2016.07.09.06.38.33; author wiz; state Exp;
branches;
next 1.8;
commitid dlqnocGpOoXV2Cdz;
1.8
date 2015.06.12.10.50.31; author wiz; state Exp;
branches;
next 1.7;
commitid B4JmCfaVUbiY38py;
1.7
date 2014.05.29.23.36.56; author wiz; state Exp;
branches;
next 1.6;
commitid laryHfkCalgYtuCx;
1.6
date 2014.02.05.18.04.05; author wiz; state Exp;
branches;
next 1.5;
commitid YQWfWJwDP1cciWnx;
1.5
date 2014.02.04.19.15.09; author wiz; state Exp;
branches;
next 1.4;
commitid xmcLK66fJeNlIOnx;
1.4
date 2013.05.31.12.41.25; author wiz; state Exp;
branches;
next 1.3;
commitid hIeXGcx6VfKHwMRw;
1.3
date 2012.10.03.21.56.40; author wiz; state Exp;
branches;
next 1.2;
1.2
date 2012.09.11.23.04.30; author asau; state Exp;
branches;
next 1.1;
1.1
date 2012.04.08.20.52.32; author wiz; state Exp;
branches
1.1.1.1;
next ;
1.1.1.1
date 2012.04.08.20.52.32; author wiz; state Exp;
branches;
next ;
desc
@@
1.15
log
@math: align variable assignments
pkglint -Wall -F --only aligned -r
Manual correction in R/Makefile.extension for the MASTER_SITES
continuation line.
@
text
@# $NetBSD: Makefile,v 1.14 2019/08/11 13:21:52 wiz Exp $
DISTNAME= ppl-1.2
PKGREVISION= 1
CATEGORIES= math
MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/1.2/
MAINTAINER= pkgsrc-users@@NetBSD.org
HOMEPAGE= http://www.cs.unipr.it/ppl/
COMMENT= The Parma Polyhedra Library
LICENSE= gnu-gpl-v3
USE_LIBTOOL= yes
USE_TOOLS+= autoconf automake gmake perl
DEPENDS+= gsed-[0-9]*:../../textproc/gsed
USE_LANGUAGES= c gnu++03
GNU_CONFIGURE= yes
MAKE_ENV+= lt_cv_path_SED=${PREFIX}/bin/gsed
CONFIGURE_ARGS+= --with-gmp-prefix=${PREFIX}
#CONFIGURE_ARGS+= --enable-interfaces=c,cxx
do-build:
set -e; cd ${WRKSRC}; ${SETENV} ${MAKE_ENV} ${GMAKE}
TEST_TARGET= check
.include "../../devel/gmp/buildlink3.mk"
.include "../../math/mpfr/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
@
1.14
log
@Bump PKGREVISIONs for perl 5.30.0
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.13 2019/02/09 13:05:16 wen Exp $
d20 1
a20 1
MAKE_ENV+= lt_cv_path_SED=${PREFIX}/bin/gsed
@
1.13
log
@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::relation_with(const Constraint&) const;
and
Pointset_Powerset::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.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.12 2018/08/22 09:45:41 wiz Exp $
d4 1
@
1.12
log
@Recursive bump for perl5-5.28.0
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.11 2018/07/18 00:06:21 joerg Exp $
d3 1
a3 2
DISTNAME= ppl-1.1
PKGREVISION= 5
d5 1
a5 2
#MASTER_SITES= ftp://gcc.gnu.org/pub/gcc/infrastructure/
MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/1.1/
d26 1
a26 1
TEST_TARGET= -k check
@
1.11
log
@Mark packages that require C++03 (or the GNU variants) if they fail with
C++14 default language.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.10 2018/01/28 16:24:14 wiz Exp $
d4 1
a4 1
PKGREVISION= 4
@
1.10
log
@recursive bump after mpfr shlib major bump
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.9 2016/07/09 06:38:33 wiz Exp $
d18 1
a18 1
USE_LANGUAGES= c c++
@
1.9
log
@Bump PKGREVISION for perl-5.24.0 for everything mentioning perl.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.8 2015/06/12 10:50:31 wiz Exp $
d4 1
a4 1
PKGREVISION= 3
@
1.8
log
@Recursive PKGREVISION bump for all packages mentioning 'perl',
having a PKGNAME of p5-*, or depending such a package,
for perl-5.22.0.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.7 2014/05/29 23:36:56 wiz Exp $
d4 1
a4 1
PKGREVISION= 2
@
1.7
log
@Bump for perl-5.20.0.
Do it for all packages that
* mention perl, or
* have a directory name starting with p5-*, or
* depend on a package starting with p5-
like last time, for 5.18, where this didn't lead to complaints.
Let me know if you have any this time.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.6 2014/02/05 18:04:05 wiz Exp $
d4 1
a4 1
PKGREVISION= 1
@
1.6
log
@Update comment, from Kai-Uwe Eckhardt.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.5 2014/02/04 19:15:09 wiz Exp $
d4 1
@
1.5
log
@Update to 1.1, provided by Kai-Uwe Eckhardt in private mail.
--------------------------------------------------------------------------
NEWS for version 1.1 (released on October 28, 2013)
--------------------------------------------------------------------------
New and Changed Features
========================
o Added a new operator on polyhedra: the positive time elapse.
o In the Java language interface:
- The constraint/generator/... system classes now extend the ArrayList
generic container (rather than Vector);
- Variable objects are now built from a long (rather than int) value,
thereby matching the type used elsewhere for space dimensions;
- added new static method to Variable class
void setStringifier(Variable_Stringifier)
where Variable_Stringifier is an interface allowing for
customization of the output routine for variable's names
(see example in interfaces/Java/tests/Variable_Output_test1.java);
- added value NOT_EQUAL to enumeration Relation_Symbol.
Bugfixes
========
o Portability improved.
o Fixed a precision regression in Polyhedron method
void drop_some_non_integer_points(const Variables_Set&,
Complexity_Class);
o In the Java language interface, fixed a C++/Java conversion error
whereby the construction of a valid Variable object in JNI code
was leading to an exception being thrown. The bug has only been
observed on 32-bit builds.
o In the Java interface, fixed declaration of methods
void drop_some_non_integer_points(...);
so as to accept a Complexity_Class enum value.
o Fixed an issue in method MIP_Problem::OK() whereby the method
was trying to enforce a non-invariant condition.
--------------------------------------------------------------------------
NEWS for version 1.0 (released on June 28, 2012)
--------------------------------------------------------------------------
New and Changed Features
========================
o Significant improvements have been obtained in both time and space
resource usage by the definition of data structures and algorithms
for the case of "sparse rows", i.e., sequences of coefficients
where most of the values are zero.
o The library fully supports two different representations for rows:
the "dense" representation is an array-like representation tailored
to sequences having most of their coefficients different from zero;
the "sparse" representation saves memory space (as well as CPU
cycles) when most of the coefficients in the sequence are zero.
o A generic interface allows for a seamless interaction between the
dense and the sparse row representation. Most library entities
(linear expressions, constraints, generators, congruences, and
their systems) can be built using either representation, specified
as a constructor's argument.
o As a by-product of this sparse/dense refactoring work, efficiency
improvements have been obtained even for those computations that
are still based on the dense row representation.
o Reasonable default values for the row representation are provided
for each library entity, automatically leading to significant
memory space savings even in old client/library code, e.g., when
dealing with constraint systems describing weakly relational
abstractions such as boxes and octagonal shapes.
o If desired, these default values can be customized to user's needs
by changing just a few lines of library code. For instance, the
constraint systems stored inside C_Polyhedron and NNC_Polyhedron
objects can be made to use the sparse representation by just
changing the following line in Polyhedron.defs.hh:
static const Representation default_con_sys_repr = DENSE;
to become
static const Representation default_con_sys_repr = SPARSE;
Bugfixes
========
o Fixed a bug affecting methods
bool BD_Shape::contains(const BD_Shape& y) const;
bool Octagonal_Shape::contains(const Octagonal_Shape& y) const;
whereby the wrong result was obtained when *this is an empty
weakly-relational shape and y is not empty.
o Fixed a bug affecting the PIP solver whereby a wrong result could have
been obtained if the input constraint system contained multiple linear
equality constraints.
--------------------------------------------------------------------------
NEWS for version 0.12.1 (released on April 16, 2012)
--------------------------------------------------------------------------
New and Changed Features
========================
o In the C, Java, OCaml and Prolog interfaces, modified the signature
of the function/method/predicate for setting the deterministic timeout
threshold. The new interfaces take two input values, named `unscaled'
and `scale', that are used to compute the threshold value as
`unscaled * 2^scale'.
o Added new Box methods
bool has_upper_bound(Variable var,
Coefficient& n, Coefficient& d, bool& closed) const;
bool has_lower_bound(Variable var,
Coefficient& n, Coefficient& d, bool& closed) const;
to query a non-empty box for the existence and value of its upper/lower
bound on variable `var'. The methods have been also added to all the
available language interfaces.
o Two BibTeX databases of papers related to the Parma Polyhedra Library
have been added to the distribution (in the `doc' directory).
Bugfixes
========
o Restored the support for deterministic timeouts in the PIP solver
(it was removed by accident in PPL 0.12).
o Minor documentation fixes.
o Portability improved.
--------------------------------------------------------------------------
NEWS for version 0.12 (released on February 27, 2012)
--------------------------------------------------------------------------
New and Changed Features
========================
o New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' and
`--with-gmp-lib=DIR' supersede the (now removed) option
`--with-gmp-prefix'. (The old option never really worked; hopefully
this is the last change in this area.)
o New configuration option `--disable-documentation'. When specified
no new documentation is built: only the documentation already present
in the source tree is installed upon `make install'.
o The resolution process for PIP_Problem now better exploits the
integrality of parameters to simplify the newly generated tautological
constraints, the splitting constraints of decision nodes, and the
expressions defining artificial parameters.
o The implementations of the MIP and PIP solvers are based on a new
data structure leading to significant space and time savings when
the tableau matrix is sparse; the benchmarks of the ppl_lpsol demo
show an improvement on the average case, that grows when the toughest
tests in the benchmark suite are considered.
o When the `--check' option is used, the input data for demo ppl_lpsol
is perturbed the same way as GLPK does, thereby allowing for a
meaningful comparison of the results obtained.
o The input routine for PPL numeric datatypes has been extended to
accept the ISO9899 (C99) hexadecimal floating constant syntax.
o The Parma Watchdog Library has been merged into the
Parma Polyhedra Library.
Bugfixes
========
o Corrected a precision bug in methods
Box::upper_bound_assign(const Box&)
Box::upper_bound_assign_if_exact(const Box&)
whereby, provided any argument is an empty box and under other rather
specific conditions, the computed result was correct but unnecessarily
imprecise.
o Corrected a bug in method
Grid::relation_with(const Constraint&) const
whereby, under specific conditions, the method was creating invalid
Grid_Generator objects and providing an incorrect result.
@
text
@d1 1
a1 2
# $NetBSD: Makefile,v 1.4 2013/05/31 12:41:25 wiz Exp $
#
d10 1
a10 1
COMMENT= The Parma Polyhedra Library. Used by gcc for loop optimization
@
1.4
log
@Bump all packages for perl-5.18, that
a) refer 'perl' in their Makefile, or
b) have a directory name of p5-*, or
c) have any dependency on any p5-* package
Like last time, where this caused no complaints.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.3 2012/10/03 21:56:40 wiz Exp $
d4 1
a4 2
DISTNAME= ppl-0.11.2
PKGREVISION= 2
d7 1
a7 1
MASTER_SITES= http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11.2/
d9 1
a9 1
MAINTAINER= kuehro@@gmx.de
d28 2
@
1.3
log
@Bump all packages that use perl, or depend on a p5-* package, or
are called p5-*.
I hope that's all of them.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.2 2012/09/11 23:04:30 asau Exp $
d5 1
a5 1
PKGREVISION= 1
@
1.2
log
@"user-destdir" is default these days
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.1.1.1 2012/04/08 20:52:32 wiz Exp $
d5 1
@
1.1
log
@Initial revision
@
text
@d1 1
a1 1
# $NetBSD$
a13 1
PKG_DESTDIR_SUPPORT= user-destdir
@
1.1.1.1
log
@Initial import of ppl-0.11.2, packaged by Kai-Uwe Eckhardt for wip.
The Parma Polyhedra Library. Used by gcc for loop optimization.
@
text
@@