Package Details: python-pysat-git 0.1.6.dev6.r16.g58a7658-1

Git Clone URL: https://aur.archlinux.org/python-pysat-git.git (read-only, click to copy)
Package Base: python-pysat-git
Description: A toolkit for SAT-based prototyping in Python
Upstream URL: https://github.com/pysathq/pysat
Licenses: MIT
Conflicts: python-pysat
Provides: python-pysat
Submitter: xiretza
Maintainer: None
Last Packager: xiretza
Votes: 0
Popularity: 0.000000
First Submitted: 2021-03-03 19:21 (UTC)
Last Updated: 2021-03-03 19:21 (UTC)

Dependencies (4)

Required by (0)

Sources (1)

Latest Comments

dmaggot commented on 2025-05-19 15:15 (UTC)

Making the PKGBUILD simpler does the trick:

--- /tmp/.temp_octopi_python-pysat-git_PKGBUILD 2025-05-19 13:18:01.627810227 +0200
+++ PKGBUILD    2025-05-19 17:09:00.804723338 +0200
@@ -2,7 +2,7 @@

 _pkgname=pysat
 pkgname="python-$_pkgname-git"
-pkgver=0.1.6.dev6.r16.g58a7658
+pkgver=0.1.7.dev15.r204.ge6a6a2b
 pkgrel=1
 pkgdesc="A toolkit for SAT-based prototyping in Python"
 arch=(x86_64)
@@ -29,12 +29,9 @@
 }

 check() {
-   cd "$_pkgname"
-
-   local python_version=$(python -c 'import sys; print(".".join(map(str, sys.version_info[:2])))')
+   cd "$_pkgname/tests"

-   touch tests/__init__.py
-   PYTHONPATH="$PWD/build/lib.linux-$CARCH-${python_version}" pytest
+   pytest
 }

 package() {

tuxayo commented on 2025-03-31 00:04 (UTC)

Same error. Skipping check() reveals a conflict with python-python-sat

python-pysat-git: /usr/bin/approxmc.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/fm.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/genhard.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/lbx.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/lsu.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/mcsls.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/models.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/musx.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/optux.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/rc2.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/unigen.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)

Pulec commented on 2025-01-12 08:43 (UTC)

The tests seem to require "pycard" module? What the heck is that?