python3Packages.monosat: fix build with cython 3.1 (#523408)

2026-05-27 09:04:45 +00:00
parent d6aaab83c9 50779b6ae8
commit aae6b6b895
1 changed files with 4 additions and 0 deletions
@@ -116,7 +116,11 @@ let
      # the sourceRoot if it weren't for the patch.
      postPatch =
        commonPostPatch
+        # cython 3.1 dropped the python 2 `long` builtin
        + ''
+          substituteInPlace src/monosat/api/python/monosat/monosat_p.pyx \
+            --replace-fail '(int, long)' 'int' \
+            --replace-fail '(int,long)' 'int'
          cd src/monosat/api/python
        ''
        +