summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
AgeCommit message (Collapse)Author
2026-02-07gnu: python-clingcon: Switch to pyproject.Nicolas Graves
* gnu/packages/potassco.scm (python-clingcon): [arguments]<#:imported-modules, #:modules>: Switch to pyproject-build-system. Change-Id: I5631ef318520191d37045ba3c55bf8becb864adf Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-02-07gnu: python-clingo-dl: Switch to pyproject.Nicolas Graves
* gnu/packages/potassco.scm (python-clingo-dl): [arguments]<#:imported-modules, #:modules>: Switch to pyproject-build-system. Change-Id: I78ae978dec526e1ad838b12f974741f510d4e7b5 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-02-07gnu: python-clingo: Switch to pyproject.Nicolas Graves
* gnu/packages/potassco.scm (python-clingo): [arguments]<#:imported-modules, #:modules>: Switch to pyproject-build-system. Change-Id: Id154c99b0920f55f85f6f9dbdd057148c5783f4f Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-02-07gnu: python-clinguin: Update to 2.7.4.Nicolas Graves
* gnu/packages/potassco.scm (python-clinguin): Update to 2.7.4. Change-Id: I6c25f97e45d3e177cfd3915a8a56ba80440ecf48 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-02-07gnu: Remove python-pylint native-input from some packages.Nicolas Graves
Remove python-pylint from [native-inputs] in the following packages as not required for build/tests/install: * gnu/packages/games.scm (open-adventure) * gnu/packages/potassco.scm (python-clingraph) * gnu/packages/python-xyz.scm (python-lsp-jsonrpc, python-mediapy) * gnu/packages/virtualization.scm (python-qemu-qmp) Change-Id: I138d6ad7fbde00f76f77c14d728adce8d74f25bf Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2025-10-29gnu: python-asprin: Fix build.Hugo Buddelmeijer
* gnu/packages/potassco.scm (python-asprin): Fix build. [arguments] <#:phases>: Replace 'check phase. [native-inputs]: Remove python-wheel. Change-Id: I1f5b6418e50812bef5ba565877e8cdf4cd04d632
2025-10-10gnu: python-plingo: Fix build.Hugo Buddelmeijer
* gnu/packages/potassco.scm (python-plingo): Fix build. [arguments] <#tests?>: Set to #f as there are no tests. [native-inputs]: Remove python-wheel. Change-Id: I0ca048796397489ed04a7c697f52e7658eaba9cb Reviewed-by: Liliana Marie Prikler <liliana.prikler@gmail.com> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2025-09-25gnu: python-telingo: Fix tests.Nicolas Graves
* gnu/packages/potassco.scm (python-telingo) [source]: Run guix style. [native-inputs]: Add python-pytest, remove python-wheel. Change-Id: Ie20e81780ac715f63fb4485e19a5e28b5a7ef579 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2025-09-25gnu: python-clinguin: Fix tests.Sharlatan Hellseher
* gnu/packages/potassco.scm (python-clinguin)[native-inputs]: Remove python-wheel; add python-pytest. Change-Id: I54dc0dfde88c0f116354a3f3fea4fef3485091a0
2025-09-25gnu: python-clorm: Fix tests.Nicolas Graves
* gnu/packages/potassco.scm (python-clorm) [source]: Improve style. [arguments]: Improve style. <#:test-backend>: Set it. [native-inputs]: Remove python-wheel, python-typing-extensions. Change-Id: I0d1856b155db7ce378d8fca10a7a279d58950839 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2025-09-10gnu: python-clinguin: Update to 2.7.1.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clinguin): Update to 2.7.1. [source]<snippet>: Adjust accordingly. [propagated-inputs]: Add python-clingcon.
2025-09-10gnu: python-clingexplaid: Update to 1.3.3.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clingexplaid): Update to 1.3.3.
2025-09-10gnu: python-clintest: Update to 0.4.0.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clintest): Update to 0.4.0.
2025-09-10gnu: python-clorm: Update to 1.6.1.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clorm): Update to 1.6.1.
2025-09-10gnu: Add python-clingcon.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clingcon): New variable.
2025-08-04gnu: Disable tests.Greg Hogan
* gnu/packages/algebra.scm (fftw-cmake, eigen-benchmarks), * gnu/packages/android.scm (android-googletest), * gnu/packages/check.scm (googletest, snitch), * gnu/packages/cpp.scm (cpp-utilities, kokkos-kernels, nativefiledialog-extended, toml11), * gnu/packages/compression.scm (libcbor), * gnu/packages/databases.scm (duckdb), * gnu/packages/datastructures.scm (sdsl-lite), * gnu/packages/education.scm (kqtquickcharts, ktouch), * gnu/packages/emacs-xyz.scm (emacs-irony-mode-server), * gnu/packages/engineering.scm (manifold, solvespace), * gnu/packages/fcitx5.scm (fcitx5-configtool), * gnu/packages/games.scm (jstest-gtk), * gnu/packages/geo.scm (libspatialindex), * gnu/packages/glib.scm (cppgir), * gnu/packages/gnome.scm (evolution), * gnu/packages/graphics.scm (openvdb), * gnu/packages/kde.scm (kalgebra, kcachegrind, kcolorchooser, kdf, kdegraphics-mobipocket, kio-zeroconf, kolourpaint, kompare, ksanecore, kseexpr, ktimer, libkexiv2, libksane, partitionmanager), * gnu/packages/kde-frameworks.scm (kactivities, kdnssd, kdeclarative, kded, kglobalaccel, kgraphviewer, kidletime, kinit, kjobwidgets, knotifications, knotifyconfig, kquickimageeditor, kstatusnotifieritem, kwayland, libkdcraw, phonon-backend-gstreamer, phonon-backend-vlc, plasma-activities, plasma-activities-stats), * gnu/packages/kde-games.scm (bomber, bovo, granatier, kajongg, kapman, kblackbox, kbounrce, kbreakout, kdiamond, kfourinline, kgoldrunner, kigo, killbots, kiriki, kjumpingcube, klines, kmahjongg, kmines, knights, kolf, kollision, konquest, kreversi, ksirk, kspaceduel, ksquares, ksudoku, ktuberling, kubrick, libkmahjongg, lskat, palapeli), * gnu/packages/kde-internet.scm (choqok, krdc), * gnu/packages/kde-multimedia.scm (audiocd-kio, dragon), * gnu/packages/kde-pim.scm (akonadi-import-wizard, ffmpegthumbs, haruna, kaccounts-integration, kaccounts-providers, kaddressbook, kaffeine, kasts, kontactinterface, libkcompactdisc), * gnu/packages/kde-plasma.scm (bluedevil, breeze, breeze-qt5, calindori, kactivitymanagerd, kde-gtk-config, kgamma, kmenuedit, kongress, krdp, ksshaskpass, kwrited, layer-shell-qt, milou, mpvqt, ocean-sound-theme, oxygen-sounds, plasma-mobile-sounds,, plasma-nano, plasma-pass, plasma-phonebook, plasma-systemmonitor, plasma-vault, plasma-welcome, lasma-workspace-wallpapers, polkit-kde-agent, print-manager, qqc2-breeze-style), * gnu/packages/kde-systemtools.scm (dolphin-plugins, krfb, kwalletmanager, yakuake), * gnu/packages/kde-utils.scm (atelier, fielding, isoimagewriter, kamera, kbackup, kcharselect, kdialog, keurocalc, kfind, kirogi, kmag, kmousetool, kmouth, kontrast, krusader, kxstitch, libatcore, smb4k, sweeper), * gnu/packages/llvm.scm (lldb), * gnu/packages/maths.scm (gklib, mcrl2, mcrl2-minimal), * gnu/packages/messaging.scm (mosquitto, znc), * gnu/packages/music.scm (hydrogen), * gnu/packages/pdf.scm (podofo, podofo-0.9), * gnu/packages/potassco.scm (clingo, clingcon), * gnu/packages/qt.scm (dotherside, kddockwidgets, qttools), * gnu/packages/radio.scm (ggmorse, gr-iqbal, gr-osmosdr, inspectrum), * gnu/packages/serialization.scm (jsoncpp-for-tensorflow), * gnu/packages/sdl.scm (sdl3-gfx), * gnu/packages/telephony.scm (baresip, baresip-libre), * gnu/packages/textutils.scm (opencc), * gnu/packages/video.scm (libopenshot, obs), * gnu/packages/vim.scm (neovim), * gnu/packages/web.scm (binaryen, civetweb, yajl) [arguments]: Disable tests. Change-Id: I56b50f14e4e5861dc69922cc2e8ee030e401a2d5
2025-05-17gnu: clingo: Update to 5.8.0.Liliana Marie Prikler
* gnu/packages/potassco.scm (clingo): Update to 5.8.0.
2025-05-17gnu: clasp: Update to 3.4.0.Liliana Marie Prikler
* gnu/packages/potassco.scm (clasp): Update to 3.4.0.
2025-05-17gnu: libpotassco: Update to 0.0-3.2eecf5f.Liliana Marie Prikler
* gnu/packages/potassco.scm (libpotassco): Update to 0.0-3.2eecf5f.
2025-02-10gnu: python-clintest: Propagate python-clingo.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clintest)[inputs]: Move to… [propagated-inputs]: … here.
2025-02-03gnu: python-clingo: Build from sources.Liliana Marie Prikler
* gnu/packages/potassco.scm (clingo)[source]: Also delete “libpyclingo/_clingo.c”. (python-clingo)[#:phases]: Add ‘generate-sources’. Remove ‘fix-failing-tests’. Signed-off-by: jgart <jgart@dismail.de>
2025-01-20gnu: python-asprin: Add missing inputs.Sharlatan Hellseher
* gnu/packages/potassco.scm (python-asprin) [native-inputs]: Add python-setuptools and python-wheel. Change-Id: I1c61ff4c431202a2627b704a4d73d56922c61bb8
2025-01-20gnu: python-clingexplaid: Add missing inputs.Ricardo Wurmus
* gnu/packages/potassco.scm (python-clingexplaid)[native-inputs]: Add python-setuptools and python-wheel. Change-Id: I01a26c154adb4fb789b6595625389b73e09db3dd
2024-12-18gnu: python-clintest: Update to 0.3.0.Sharlatan Hellseher
* gnu/packages/potassco.scm (python-clintest): Update to 0.3.0, fix build. [native-inputs]: Add python-setuptools and python-wheel. Change-Id: I22bd8019cc1b6f2d1a2c7fe40bfb98ad5679f9f1
2024-12-18gnu: python-clingox: Fix build, improve style.Sharlatan Hellseher
* gnu/packages/potassco.scm (python-clingox): Adjust indentation. [arguments]<test-flags>: Skip 3 tests. [native-inputs]: Add python-pytest, python-setuptools, and python-wheel. [description]: Start from a new line. Change-Id: I0a267df9f23e585ba7619fb8905024cbe17027a8
2024-12-13gnu: Add python-setuptools/python-wheel where necessary.Lars-Dominik Braun
Changes to pyproject-build-system require explicit dependency on setuptools/wheel. Change-Id: Icd7699fc1dc56e974ae7568f2ae916dbf876bea5
2024-12-13build-system/pyproject: Use python-sans-pip-wrapper as default-python.Lars-Dominik Braun
Also adds python-setuptools and python-wheel to relevant packages, either to native-inputs or to propagated inputs if the pkg_resources Python module is loaded at runtime. * guix/build-system/pyproject.scm (default-python): Default to python-sans-pip-wrapper. Change-Id: I2d986c2225114f54459dd6bb360913106e52cdf4
2024-12-08gnu: python-clinguin: Update to 2.1.1.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clinguin): Update to 2.1.1. [source]: Adjust snippet accordingly. [inputs]: Add python-clingo-dl and python-clingexplaid.
2024-12-08gnu: python-clinguin: Fix homepage.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clinguin)[home-page]: Use “https://github.com/potassco/clinguin”.
2024-12-08gnu: Add python-clingexplaid.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clingexplaid): New variable.
2024-10-27gnu: Add clingcon.Liliana Marie Prikler
* gnu/packages/potassco.scm (clingcon): New variable.
2024-10-27gnu: Add clingo-lpx.Liliana Marie Prikler
* gnu/packages/potassco.scm (clingo-lpx): New variable.
2024-07-27gnu: Add python-clingox.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clingox): New variable.
2024-07-27gnu: Add python-asprin.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-asprin): New variable.
2024-07-07gnu: clasp: Prevent ID clashes in dependent packages.Liliana Marie Prikler
Clasp uses an interesting CRTP pattern to insert statically (i.e. compile-time) generated numeric IDs into global fields. However, these templates are instantiated once per shared library---thus, whenever a library is linked, new IDs are generated, and the original intent (safely type-casting objects across libraries) is lost. To help the linker out, we make sure that these IDs are only instantiated in clasp and not when building other libraries. * gnu/packages/patches/clasp-hide-event-ids.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it here. * gnu/packages/clasp.scm (source)[patches]: Add it here. (clingo)[#:phases]: Drop ‘skip-failing-tests’. (python-clorm)[#:phases]<fix-breaking-tests>: Adjust accordingly. (python-clintest): Drop arguments.
2024-05-14gnu: Add python-clintest.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clintest): New variable.
2024-03-02gnu: python-telingo: Update to 2.1.3.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-telingo): Update to 2.1.3. [source]: Drop obsolete patch. * gnu/packages/patches/python-telingo-fix-comparison.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly.
2024-03-02gnu: python-plingo: Update to 1.1.0.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-plingo): Update to 1.1.0.
2024-03-02gnu: python-clorm: Update to 1.5.0.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clorm): Update to 1.5.0.
2024-03-02gnu: python-clingo-dl: Fix build.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. [native-inputs]: Add python-scikit-build.
2024-03-02gnu: python-clingo: Fix build.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH.
2024-03-02gnu: clingo-dl: Update to 1.5.0.Liliana Marie Prikler
* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0.
2024-03-02gnu: clingo: Build from actual sources.Liliana Marie Prikler
* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove generated sources. [native-inputs]: Add bison and re2c.
2024-03-02gnu: clingo: Update to 5.7.1.Liliana Marie Prikler
* gnu/packages/potassco.scm (clingo): Update to 5.7.1.
2024-03-02gnu: clasp: Update to 3.3.10.Liliana Marie Prikler
* gnu/packages/potassco.scm (clasp): Update to 3.3.10.
2024-03-02gnu: libpotassco: Update to 0.0-2.69b677f.Liliana Marie Prikler
* gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f.
2024-02-03gnu: Add lua-clingo.Liliana Marie Prikler
* gnu/packages/potassco.scm (make-lua-clingo, lua5.1-clingo) (lua5.2-clingo): New variables.
2024-02-03gnu: Add python-plingo.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-plingo): New variable.
2024-02-03gnu: python-clorm: Reindent with emacs.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clorm): Reindent with emacs.
2024-02-03gnu: Add python-clingo-dl.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clingo-dl): New variable.
generated by cgit v1.3 (git 2.53.0) at 2026-06-04 15:04:06 +0000