From nobody Fri Apr 26 06:15:30 2024 X-Original-To: dev-commits-ports-all@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 4VQjBq12Jfz5J0S2; Fri, 26 Apr 2024 06:15:31 +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 4VQjBp6M0hz4rWP; Fri, 26 Apr 2024 06:15:30 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1714112130; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=GT11+wlsF1GRmUhZQnQaMhcZeXjQ/NQVo2LAGp0Bagw=; b=CrJH8s1Mhud8zjL9MPM6iawnBtaTYkt8NnN6nKjPKnPv3KlMvR4PiUFemom0lLDodX3pVj VCdtsAoZwr1yLyobLRdoQX9ApjD143Fk7n8MeK2ekKMEcjqoyLm0iMKo1J91O37Hb6NpIC +OeOgQGZVugPuilaAxsGF4HcRkPWyio9SYBPtlV+X2DWZa6ysN4xIFpqt8smTIwYGtIsZ9 97Pvm+b/BGR71m7loPdKkAJwwPgU490VYFF9HWl3RDKBWGdcfdSZVyRbtROxSlmAMq5Bey gjg9IwxES0Av8nxlYt7RwhhgE+86HeEDqve+WWMmCpX/V435+92gBfoUfogPXg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1714112130; a=rsa-sha256; cv=none; b=lpf9Zu0ljoLLjkKBFduwRB6H3BMLIFBSarJiaptI0YLCp7uI5xbDQTVwfJw14JeprQYeTM 6gsQSzG3ML5wurzE+odLfx19Kb81eo9UXAMpSFeb7sfUGtLcEyi/ge5a7kAjlgD1ISvLW2 KNyRwrFGKhvRsKcpMAlLvwC/O6vBT4hy8OP9qryHBrq9FQUYQhRH0VSrRjZkXhgwyz9E0e 3zoiqgiOvEk99uZnepyaKoJjMkO8lIEoR1jrNSuY9ZtV8aTWSlMQDKRVY2TwIwYiCoS9EI kQGn7fZbmo8HAoWv68GLYBYqSQXgnV6VzDtVs5em/kT0YOM8uGYb+yOcPhRtgQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1714112130; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=GT11+wlsF1GRmUhZQnQaMhcZeXjQ/NQVo2LAGp0Bagw=; b=N5tAh7nxrSImexobrLq/c+5ezaKZRrpaiT3il5vxd/ytgePxC+L7zB1ZE4VyqvtVLhIQ9l ZNs1YBUlTQ3mxI2Z9kCGCToTse1A88Y/eOPuxtYB6BgjeB+xN83aikrfA83ZFv9so18/Cw 12mml3CONDmnPquDkQ8pCnXE/FHl03cYEnfJXaRrD4GQsWgSWMJextUwRBC+KRc8bHqD0n CjJevRtlL3sF/zAtQubekmTlc3AnOKHVGx1NG1SytkXeZ5kpDXQZSl4E2xYvaXR4uECY3H OikFwkNQGhNFAUjQafkbU6fHuLR/eVBmVeGR3R2ZucZE+sfOPAICWvtbpgRrNw== 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 4VQjBp5hRNzXC8; Fri, 26 Apr 2024 06:15:30 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 43Q6FUlF015704; Fri, 26 Apr 2024 06:15:30 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 43Q6FUY3015701; Fri, 26 Apr 2024 06:15:30 GMT (envelope-from git) Date: Fri, 26 Apr 2024 06:15:30 GMT Message-Id: <202404260615.43Q6FUY3015701@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 3d7ce432c44c - main - math/py-islpy: New port: Wrapper around isl, an integer set library List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 3d7ce432c44c9f15369c08e8be95976718fc3287 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=3d7ce432c44c9f15369c08e8be95976718fc3287 commit 3d7ce432c44c9f15369c08e8be95976718fc3287 Author: Yuri Victorovich AuthorDate: 2024-04-26 06:14:47 +0000 Commit: Yuri Victorovich CommitDate: 2024-04-26 06:15:16 +0000 math/py-islpy: New port: Wrapper around isl, an integer set library --- math/Makefile | 1 + math/py-islpy/Makefile | 46 ++++++++++++++++++++++++++++++++ math/py-islpy/distinfo | 3 +++ math/py-islpy/files/patch-pyproject.toml | 13 +++++++++ math/py-islpy/pkg-descr | 17 ++++++++++++ 5 files changed, 80 insertions(+) diff --git a/math/Makefile b/math/Makefile index 5b4e787e1534..2c05d4b0585c 100644 --- a/math/Makefile +++ b/math/Makefile @@ -962,6 +962,7 @@ SUBDIR += py-intspan SUBDIR += py-iohexperimenter SUBDIR += py-ipyopt + SUBDIR += py-islpy SUBDIR += py-isosurfaces SUBDIR += py-jacobi SUBDIR += py-jax diff --git a/math/py-islpy/Makefile b/math/py-islpy/Makefile new file mode 100644 index 000000000000..318bc849e407 --- /dev/null +++ b/math/py-islpy/Makefile @@ -0,0 +1,46 @@ +PORTNAME= islpy +DISTVERSION= 2023.2.5 +CATEGORIES= math +MASTER_SITES= PYPI +PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Wrapper around isl, an integer set library +WWW= https://documen.tician.de/islpy/ + +LICENSE= MIT + +BUILD_DEPENDS= cmake:devel/cmake-core \ + ${PYTHON_PKGNAMEPREFIX}nanobind>0:devel/py-nanobind@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pcpp>0:devel/py-pcpp@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}scikit-build>0:devel/py-scikit-build@${PY_FLAVOR} \ + ${PY_SETUPTOOLS} \ + ${PYTHON_PKGNAMEPREFIX}wheel>0:devel/py-wheel@${PY_FLAVOR} +LIB_DEPENDS= libbarvinok.so:math/barvinok \ + libisl.so:devel/isl \ + libpolylibgmp.so:math/polylib + +USES= llvm:15 python shebangfix # w/out llvm:* the build fails to find LLVMgold.so +USE_PYTHON= pep517 autoplist pytest + +SHEBANG_FILES= configure.py + +xCXXFLAGS+= -I${WRKSRC}/isl/include \ + -I${WRKSRC}/isl-supplementary + +TEST_ENV= ${MAKE_ENV} PYTHONPATH=${STAGEDIR}${PYTHONPREFIX_SITELIBDIR} +TEST_WRKSRC= ${WRKSRC}/test + +do-configure: + @cd ${WRKSRC} && \ + ${SETENV} ${MAKE_ENV} ./configure.py \ + --enable-shared \ + --python-exe=${PYTHON_CMD} \ + --isl-inc-dir=${PREFIX}/include \ + --isl-lib-dir=${PREFIX}/lib \ + --no-use-shipped-imath \ + --no-use-shipped-isl \ + --use-barvinok \ + --prefix=${PREFIX} + +.include diff --git a/math/py-islpy/distinfo b/math/py-islpy/distinfo new file mode 100644 index 000000000000..460a9de74321 --- /dev/null +++ b/math/py-islpy/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1714099225 +SHA256 (islpy-2023.2.5.tar.gz) = dd74398baf36938abb7c2a9d9828cc1a2e549c6c80485cec8b06b29abfaad18f +SIZE (islpy-2023.2.5.tar.gz) = 1136820 diff --git a/math/py-islpy/files/patch-pyproject.toml b/math/py-islpy/files/patch-pyproject.toml new file mode 100644 index 000000000000..b3f1914a9f10 --- /dev/null +++ b/math/py-islpy/files/patch-pyproject.toml @@ -0,0 +1,13 @@ +--- pyproject.toml.orig 2024-04-26 04:10:10 UTC ++++ pyproject.toml +@@ -12,10 +12,8 @@ requires = [ + "setuptools>=64;python_version>='3.12'", + + "wheel>=0.34.2", +- "cmake>=3.18", + "scikit-build", + "nanobind", +- "ninja", + "pcpp", + ] + build-backend = "setuptools.build_meta" diff --git a/math/py-islpy/pkg-descr b/math/py-islpy/pkg-descr new file mode 100644 index 000000000000..68201bbf6539 --- /dev/null +++ b/math/py-islpy/pkg-descr @@ -0,0 +1,17 @@ +islpy is a Python wrapper around Sven Verdoolaege's isl, 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, +* 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.