Gaetan Lepage
040acd8bd9
Diff: https://github.com/inducer/islpy/compare/v2025.2.5...v2026.1 Changelog: https://github.com/inducer/islpy/releases/tag/v2026.1
72 lines
1.4 KiB
Nix
72 lines
1.4 KiB
Nix
{
|
|
lib,
|
|
buildPythonPackage,
|
|
fetchFromGitHub,
|
|
|
|
# build-system
|
|
cmake,
|
|
nanobind,
|
|
ninja,
|
|
pcpp,
|
|
scikit-build-core,
|
|
typing-extensions,
|
|
|
|
# buildInputs
|
|
isl,
|
|
|
|
# tests
|
|
pytestCheckHook,
|
|
}:
|
|
|
|
buildPythonPackage (finalAttrs: {
|
|
pname = "islpy";
|
|
version = "2026.1";
|
|
pyproject = true;
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "inducer";
|
|
repo = "islpy";
|
|
tag = "v${finalAttrs.version}";
|
|
hash = "sha256-WZl9ix9ZwJsoUCJ23bYcuYGiJzcOMh7I38PHVxWrPBo=";
|
|
};
|
|
|
|
build-system = [
|
|
cmake
|
|
nanobind
|
|
ninja
|
|
pcpp
|
|
scikit-build-core
|
|
typing-extensions
|
|
];
|
|
|
|
buildInputs = [
|
|
isl
|
|
];
|
|
|
|
dontUseCmakeConfigure = true;
|
|
|
|
cmakeFlags = [
|
|
(lib.cmakeBool "USE_SHIPPED_ISL" false)
|
|
(lib.cmakeBool "USE_BARVINOK" false)
|
|
(lib.cmakeOptionType "list" "ISL_INC_DIRS" "${lib.getDev isl}/include")
|
|
(lib.cmakeOptionType "list" "ISL_LIB_DIRS" "${lib.getLib isl}/lib")
|
|
];
|
|
|
|
# Force resolving the package from $out to make generated ext files usable by tests
|
|
preCheck = ''
|
|
rm -rf islpy
|
|
'';
|
|
|
|
nativeCheckInputs = [ pytestCheckHook ];
|
|
|
|
pythonImportsCheck = [ "islpy" ];
|
|
|
|
meta = {
|
|
description = "Python wrapper around isl, an integer set library";
|
|
homepage = "https://github.com/inducer/islpy";
|
|
changelog = "https://github.com/inducer/islpy/releases/tag/${finalAttrs.src.tag}";
|
|
license = lib.licenses.mit;
|
|
maintainers = with lib.maintainers; [ tomasajt ];
|
|
};
|
|
})
|