Skip to content

clingo: Add version 5.8.2 - #2199

Merged
luhenry merged 1 commit into
mainfrom
clingo
Sep 22, 2026
Merged

luhenry merged 1 commit into
mainfrom
clingo

Conversation

@luhenry

@luhenry luhenry commented Sep 21, 2026 •

Copy link
Copy Markdown
Member

Compiles clasp/gringo/libclingo (C++17 ASP solver) and its CFFI-generated Python extension via CMake/scikit-build. Upstream publishes no riscv64 wheel.

Mirrors upstream's cibuildwheel.yml.

Differs from upstream

  • Only the manylinux leg is built - i686/aarch64/ppc64le/musllinux/Windows/macOS are out of scope here.

Matrix: cp39-cp314, matching upstream's own per-interpreter build (no abi3, no free-threaded wheel).

Testing

  • Stages libpyclingo/clingo/tests (not shipped in the wheel) next to the installed package and runs it with unittest discover, reproducing CMake's own test_pyclingo target.

License: OK

Built on cp311 (x86_64): 72 passed.

CMake/scikit-build C++17 project (clasp/gringo/libclingo) with a
CFFI-generated Python extension; no SIMD/arch-specific code, and upstream
already builds aarch64/ppc64le wheels via cibuildwheel, so this mirrors
that shape for riscv64. bison/re2c are not needed: CMake falls back to the
pre-generated parser/lexer sources already checked into libgringo/gen.
Validated locally on x86_64: build, install and the full upstream
libpyclingo/clingo/tests suite (72 tests) all pass.
@github-actions

github-actions Bot commented Sep 21, 2026 •

Copy link
Copy Markdown
Contributor
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-09-22 06:46 UTC

@luhenry
luhenry merged commit e1b2c6a into main Sep 22, 2026
16 of 17 checks passed
@luhenry
luhenry deleted the clingo branch September 22, 2026 06:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant