21:58 Stefan Eßer (se) 

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

    fb16dfe

10:23 Daniel Engberg (diizzy) 

devel/isl: Update URLs, fix build and connect test suite

Update URLs (old main site dead)
Fix port to follow CFLAGS set by framework instead of hardsetting -O3 only
Rearrange Makefile

Reference: https://groups.google.com/g/isl-development/c/JGaMo2VUu_8

Approved by:	arrowd (mentor)
Differential Revision:	https://reviews.freebsd.org/D32494

    953bcf7

07:31 miwi 

isl is a library for manipulating sets and relations of integer points
bounded by linear constraints. Supported operations on sets include
intersection, union, set difference, emptiness check, convex hull,
(integer) affine hull, integer projection, computing the lexicographic
minimum using parametric integer programming, coalescing and parametric
vertex enumeration. It also includes an ILP solver based on generalized
basis reduction, transitive closures on maps (which may encode infinite
graphs), dependence analysis and bounds on piecewise step-polynomials.

WWW: http://isl.gforge.inria.fr/

PR:		ports/187143
Submitted by:	Gea-Suan Lin <gslin@gslin.org>