From nobody Thu Oct 14 10:23:12 2021 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 1FE35180DEA8; Thu, 14 Oct 2021 10:23:13 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4HVQTX6HMjz3kVf; Thu, 14 Oct 2021 10:23:12 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id B922A11B49; Thu, 14 Oct 2021 10:23:12 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 19EANCkN078901; Thu, 14 Oct 2021 10:23:12 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 19EANCMg078900; Thu, 14 Oct 2021 10:23:12 GMT (envelope-from git) Date: Thu, 14 Oct 2021 10:23:12 GMT Message-Id: <202110141023.19EANCMg078900@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Daniel Engberg Subject: git: 953bcf7b9ed8 - main - devel/isl: Update URLs, fix build and connect test suite List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: diizzy X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 953bcf7b9ed8312ec527a525da0a0f35c44f3275 Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by diizzy: URL: https://cgit.FreeBSD.org/ports/commit/?id=953bcf7b9ed8312ec527a525da0a0f35c44f3275 commit 953bcf7b9ed8312ec527a525da0a0f35c44f3275 Author: Daniel Engberg AuthorDate: 2021-10-14 10:20:19 +0000 Commit: Daniel Engberg CommitDate: 2021-10-14 10:23:04 +0000 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 --- devel/isl/Makefile | 14 +++++++++++--- devel/isl/files/patch-configure | 11 +++++++++++ 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 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/