CVS commit: pkgsrc/devel/py-liblktlang

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/devel/py-liblktlang
From: "Dmytro Kazankov" <dkazankov%netbsd.org@localhost>
Date: Sun, 12 Oct 2025 13:18:28 +0000

Module Name:    pkgsrc
Committed By:   dkazankov
Date:           Sun Oct 12 13:18:28 UTC 2025

Modified Files:
        pkgsrc/devel/py-liblktlang: Makefile PLIST distinfo
Added Files:
        pkgsrc/devel/py-liblktlang/patches: patch-langkit_compiled__types.py
            patch-langkit_libmanage.py patch-langkit_utils_____init____.py

Log Message:
py-liblktlang: update to upstream version 25.2

* Incorporate py-langkit patches for python >= 3.13 support
* Lkt: introduce the distinction between and/or binops and %and/%or
* Lkt: convey logic context/error location through builtin dynvars
* Lkt: rework the syntax for the logic DSL
* Lkt lowering: remove useless generic type
* Lkt: rework the %all/%any equation constructors
* [25.1] Lkt: rework Logic DSL
* Lkt lowering: introduce the @Property annotation for methods
* [25.1] Change the access syntax for builtin properties
* Enable style checks for Lkt and fix existing issues
* [25.1] Fine tune unparsers for Lkt


To generate a diff of this commit:
cvs rdiff -u -r1.4 -r1.5 pkgsrc/devel/py-liblktlang/Makefile
cvs rdiff -u -r1.1 -r1.2 pkgsrc/devel/py-liblktlang/PLIST \
    pkgsrc/devel/py-liblktlang/distinfo
cvs rdiff -u -r0 -r1.1 \
    pkgsrc/devel/py-liblktlang/patches/patch-langkit_compiled__types.py \
    pkgsrc/devel/py-liblktlang/patches/patch-langkit_libmanage.py \
    pkgsrc/devel/py-liblktlang/patches/patch-langkit_utils_____init____.py

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/py-liblktlang/Makefile
diff -u pkgsrc/devel/py-liblktlang/Makefile:1.4 pkgsrc/devel/py-liblktlang/Makefile:1.5
--- pkgsrc/devel/py-liblktlang/Makefile:1.4     Tue Sep 16 05:45:36 2025
+++ pkgsrc/devel/py-liblktlang/Makefile Sun Oct 12 13:18:28 2025
@@ -1,11 +1,11 @@
-# $NetBSD: Makefile,v 1.4 2025/09/16 05:45:36 dkazankov Exp $
+# $NetBSD: Makefile,v 1.5 2025/10/12 13:18:28 dkazankov Exp $
 
-DISTNAME=      ${GITHUB_PROJECT}-25.0.0
-PKGNAME=       ${PYPKGPREFIX}-liblktlang-25.0
+DISTNAME=      ${GITHUB_PROJECT}-${GITHUB_TAG}
+PKGNAME=       ${PYPKGPREFIX}-liblktlang-${GITHUB_TAG}
 CATEGORIES=    devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=AdaCore/}
 GITHUB_PROJECT=        langkit
-GITHUB_TAG=    v25.0.0
+GITHUB_TAG=    25.2
 
 MAINTAINER=    dkazankov%NetBSD.org@localhost
 HOMEPAGE=      https://github.com/AdaCore/langkit
@@ -22,9 +22,6 @@ HAS_CONFIGURE=        yes
 
 GCC_REQD+=     14
 
-# langkit uses deprecated pipes module
-PYTHON_VERSIONS_INCOMPATIBLE+= 313
-
 CREATE_INPLACE_BUILD_TARGETS=  static-pic
 
 .include "../../textproc/ada-xmlada-25/inplace.mk"

Index: pkgsrc/devel/py-liblktlang/PLIST
diff -u pkgsrc/devel/py-liblktlang/PLIST:1.1 pkgsrc/devel/py-liblktlang/PLIST:1.2
--- pkgsrc/devel/py-liblktlang/PLIST:1.1        Thu Sep  4 11:55:04 2025
+++ pkgsrc/devel/py-liblktlang/PLIST    Sun Oct 12 13:18:28 2025
@@ -1,9 +1,9 @@
-@comment $NetBSD: PLIST,v 1.1 2025/09/04 11:55:04 dkazankov Exp $
+@comment $NetBSD: PLIST,v 1.2 2025/10/12 13:18:28 dkazankov Exp $
 bin/lkt_playground${PYVERSSUFFIX}
-${PYSITELIB}/liblktlang-25.0.dist-info/METADATA
-${PYSITELIB}/liblktlang-25.0.dist-info/RECORD
-${PYSITELIB}/liblktlang-25.0.dist-info/WHEEL
-${PYSITELIB}/liblktlang-25.0.dist-info/top_level.txt
+${PYSITELIB}/liblktlang-${PKGVERSION}.dist-info/METADATA
+${PYSITELIB}/liblktlang-${PKGVERSION}.dist-info/RECORD
+${PYSITELIB}/liblktlang-${PKGVERSION}.dist-info/WHEEL
+${PYSITELIB}/liblktlang-${PKGVERSION}.dist-info/top_level.txt
 ${PYSITELIB}/liblktlang/__init__.py
 ${PYSITELIB}/liblktlang/__init__.pyc
 ${PYSITELIB}/liblktlang/__init__.pyo
Index: pkgsrc/devel/py-liblktlang/distinfo
diff -u pkgsrc/devel/py-liblktlang/distinfo:1.1 pkgsrc/devel/py-liblktlang/distinfo:1.2
--- pkgsrc/devel/py-liblktlang/distinfo:1.1     Thu Sep  4 11:55:04 2025
+++ pkgsrc/devel/py-liblktlang/distinfo Sun Oct 12 13:18:28 2025
@@ -1,5 +1,8 @@
-$NetBSD: distinfo,v 1.1 2025/09/04 11:55:04 dkazankov Exp $
+$NetBSD: distinfo,v 1.2 2025/10/12 13:18:28 dkazankov Exp $
 
-BLAKE2s (langkit-25.0.0.tar.gz) = 95e96b32ab3fe5f08608b39b0e547d0de4e25715b4785ae6aa642d477117a1f5
-SHA512 (langkit-25.0.0.tar.gz) = 27ffecb9b6c5568ebdba4864d9c5ef7e511718083fe087e3af60cfe8cc994b6ea7353cc745bc33395d33e169aaaf6916d991fa4941774932904df3e9b455f1dc
-Size (langkit-25.0.0.tar.gz) = 1560623 bytes
+BLAKE2s (langkit-25.2.tar.gz) = 18dd9330655d0afcd61b6c9c2656fe01eb012f4c1f64ddb3f77e485189c44bec
+SHA512 (langkit-25.2.tar.gz) = 01fa35fc8341665a2b545955c578ce894489e6123322e3a63fa7e954ed1dd7546827b6f4e85e406a575609416ec7179fa70e07a42a50b4cbf88123216cb3fa45
+Size (langkit-25.2.tar.gz) = 1526506 bytes
+SHA1 (patch-langkit_compiled__types.py) = e80846d319a44a4623a1a1af14662d4dd3345cd2
+SHA1 (patch-langkit_libmanage.py) = c842e39940354c8978fd0b3eaf84ac7c88a33f55
+SHA1 (patch-langkit_utils_____init____.py) = f58649998fed08017310f8c584981a65f833199b

Added files:

Index: pkgsrc/devel/py-liblktlang/patches/patch-langkit_compiled__types.py
diff -u /dev/null pkgsrc/devel/py-liblktlang/patches/patch-langkit_compiled__types.py:1.1
--- /dev/null   Sun Oct 12 13:18:28 2025
+++ pkgsrc/devel/py-liblktlang/patches/patch-langkit_compiled__types.py Sun Oct 12 13:18:28 2025
@@ -0,0 +1,26 @@
+$NetBSD: patch-langkit_compiled__types.py,v 1.1 2025/10/12 13:18:28 dkazankov Exp $
+
+Transition uses of the Python pipes module to shlex
+"pipes" was removed from Python 3.13.
+https://github.com/AdaCore/langkit/commit/dbacb9b5545315e7045ef082dba99d2c96ed1356
+
+--- langkit/compiled_types.py.orig     2024-12-10 12:23:59.000000000 +0200
++++ langkit/compiled_types.py
+@@ -6,7 +6,7 @@
+ from dataclasses import dataclass
+ import difflib
+ from itertools import count, takewhile
+-import pipes
++import shlex
+ from typing import (
+     Any,
+     Callable,
+@@ -58,7 +58,7 @@
+     :param list[str] args: Elements of the special comment.
+     :rtype: str
+     """
+-    return ('--# {}'.format(' '.join(pipes.quote(a) for a in args))
++    return ('--# {}'.format(' '.join(shlex.quote(a) for a in args))
+             if get_context().emitter.generate_gdb_hook else '')
+ 
+ 
Index: pkgsrc/devel/py-liblktlang/patches/patch-langkit_libmanage.py
diff -u /dev/null pkgsrc/devel/py-liblktlang/patches/patch-langkit_libmanage.py:1.1
--- /dev/null   Sun Oct 12 13:18:28 2025
+++ pkgsrc/devel/py-liblktlang/patches/patch-langkit_libmanage.py       Sun Oct 12 13:18:28 2025
@@ -0,0 +1,28 @@
+$NetBSD: patch-langkit_libmanage.py,v 1.1 2025/10/12 13:18:28 dkazankov Exp $
+
+Transition uses of the Python pipes module to shlex
+"pipes" was removed from Python 3.13.
+https://github.com/AdaCore/langkit/commit/dbacb9b5545315e7045ef082dba99d2c96ed1356
+
+--- langkit/libmanage.py.orig  2024-12-10 12:23:59.000000000 +0200
++++ langkit/libmanage.py
+@@ -9,7 +9,7 @@
+ import os
+ from os import path
+ import pdb
+-import pipes
++import shlex
+ import shutil
+ import subprocess
+ import sys
+@@ -1582,9 +1582,7 @@
+         :param argv: Arguments for the command to log.
+         """
+         if self.verbosity.debug:
+-            printcol('Executing: {}'.format(
+-                ' '.join(pipes.quote(arg) for arg in argv)
+-            ), Colors.CYAN)
++            printcol('Executing: {}'.format(shlex.join(argv)), Colors.CYAN)
+ 
+     def log_info(self, msg: str, color: str) -> None:
+         """
Index: pkgsrc/devel/py-liblktlang/patches/patch-langkit_utils_____init____.py
diff -u /dev/null pkgsrc/devel/py-liblktlang/patches/patch-langkit_utils_____init____.py:1.1
--- /dev/null   Sun Oct 12 13:18:28 2025
+++ pkgsrc/devel/py-liblktlang/patches/patch-langkit_utils_____init____.py      Sun Oct 12 13:18:28 2025
@@ -0,0 +1,25 @@
+$NetBSD: patch-langkit_utils_____init____.py,v 1.1 2025/10/12 13:18:28 dkazankov Exp $
+
+Transition uses of the Python pipes module to shlex
+"pipes" was removed from Python 3.13.
+https://github.com/AdaCore/langkit/commit/dbacb9b5545315e7045ef082dba99d2c96ed1356
+
+--- langkit/utils/__init__.py.orig     2024-12-10 12:23:59.000000000 +0200
++++ langkit/utils/__init__.py
+@@ -11,7 +11,6 @@
+ from copy import copy
+ from enum import Enum
+ import os
+-import pipes
+ import shlex
+ import shutil
+ from typing import (
+@@ -273,7 +272,7 @@
+     environment variable.
+     """
+     return (
+-        f'{name}={pipes.quote(path)}"{os.pathsep}${name}";'
++        f'{name}={shlex.quote(path)}"{os.pathsep}${name}";'
+         f" export {name}"
+     )
+

Prev by Date: CVS commit: pkgsrc/devel/py-langkit
Next by Date: CVS commit: pkgsrc/x11/drawterm
Previous by Thread: CVS commit: pkgsrc/devel/py-langkit
Next by Thread: CVS commit: pkgsrc/x11/drawterm
Indexes:

Home | Main Index | Thread Index | Old Index