diff options
| author | Daniel Engberg <diizzy@FreeBSD.org> | 2021-10-14 10:20:19 +0000 |
|---|---|---|
| committer | Daniel Engberg <diizzy@FreeBSD.org> | 2021-10-14 10:23:04 +0000 |
| commit | 953bcf7b9ed8312ec527a525da0a0f35c44f3275 (patch) | |
| tree | 04079316f0d415419fcd2d27f2c2f108e735d722 | |
| parent | 8f1b773597d3c3e8b3225506fbff8553422c2fd3 (diff) | |
| download | ports-953bcf7b9ed8312ec527a525da0a0f35c44f3275.tar.gz ports-953bcf7b9ed8312ec527a525da0a0f35c44f3275.zip | |
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
| -rw-r--r-- | devel/isl/Makefile | 14 | ||||
| -rw-r--r-- | devel/isl/files/patch-configure | 11 | ||||
| -rw-r--r-- | devel/isl/pkg-descr | 2 |
3 files changed, 23 insertions, 4 deletions
diff --git a/devel/isl/Makefile b/devel/isl/Makefile index 54abca58a94d..fa5865e54a4b 100644 --- a/devel/isl/Makefile +++ b/devel/isl/Makefile @@ -3,7 +3,7 @@ PORTNAME= isl PORTVERSION= 0.24 CATEGORIES= devel math -MASTER_SITES= http://isl.gforge.inria.fr/ GENTOO +MASTER_SITES= SOURCEFORGE/libisl MAINTAINER= ports@FreeBSD.org COMMENT= Integer Set Library @@ -14,9 +14,17 @@ LICENSE_FILE= ${WRKSRC}/LICENSE LIB_DEPENDS= libgmp.so:math/gmp USES= libtool pkgconfig tar:xz -CONFIGURE_ARGS= --with-gmp-prefix=${LOCALBASE} +USE_LDCONFIG= yes GNU_CONFIGURE= yes + INSTALL_TARGET= install-strip -USE_LDCONFIG= yes +TEST_TARGET= check + +CONFIGURE_ARGS= --with-gmp-prefix=${LOCALBASE} + +OPTIONS_DEFINE= OPTIMIZED_CFLAGS +OPTIONS_DEFAULT=OPTIMIZED_CFLAGS + +OPTIMIZED_CFLAGS_CFLAGS= -O3 .include <bsd.port.mk> diff --git a/devel/isl/files/patch-configure b/devel/isl/files/patch-configure new file mode 100644 index 000000000000..c8fd69bf9de6 --- /dev/null +++ b/devel/isl/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig 2021-10-14 09:28:15 UTC ++++ configure +@@ -6984,7 +6984,7 @@ fi + echo "* (otherwise, a default of CFLAGS=-O3 will be used) *" + echo "********************************************************" + echo "" +- CFLAGS="-O3" ++ CFLAGS="$ac_cv_env_CFLAGS_value" + fi + + { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether C compiler accepts $CFLAGS" >&5 diff --git a/devel/isl/pkg-descr b/devel/isl/pkg-descr index d45dea5b4857..54aecf7d3203 100644 --- a/devel/isl/pkg-descr +++ b/devel/isl/pkg-descr @@ -7,4 +7,4 @@ 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/ +WWW: https://libisl.sourceforge.io/ |