tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-05-22 00:55:56 +02:00
Code Activity
170,220 Commits 75 Branches 40 Tags
9b191b56ce6f74e22745684007105dfd80ebae7d
Commit Graph

55 Commits

Author SHA1 Message Date
Nicolas Graves 3a98b3f41a gnu: python-telingo: Fix tests. 
* 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-25 09:37:02 +01:00
Sharlatan Hellseher d69cec990a gnu: python-clinguin: Fix tests. 
* gnu/packages/potassco.scm (python-clinguin)[native-inputs]: Remove
python-wheel; add python-pytest.

Change-Id: I54dc0dfde88c0f116354a3f3fea4fef3485091a0
 2025-09-25 09:36:44 +01:00
Nicolas Graves 895a264deb gnu: python-clorm: Fix tests. 
* 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-25 09:36:43 +01:00
Liliana Marie Prikler fee9ce26e2 gnu: python-clinguin: Update to 2.7.1. 
* gnu/packages/potassco.scm (python-clinguin): Update to 2.7.1.
[source]<snippet>: Adjust accordingly.
[propagated-inputs]: Add python-clingcon.
 2025-09-10 07:39:54 +02:00
Liliana Marie Prikler abb87389aa gnu: python-clingexplaid: Update to 1.3.3. 
* gnu/packages/potassco.scm (python-clingexplaid): Update to 1.3.3.
 2025-09-10 07:39:54 +02:00
Liliana Marie Prikler fd4aacf974 gnu: python-clintest: Update to 0.4.0. 
* gnu/packages/potassco.scm (python-clintest): Update to 0.4.0.
 2025-09-10 07:39:54 +02:00
Liliana Marie Prikler fa3d3a0343 gnu: python-clorm: Update to 1.6.1. 
* gnu/packages/potassco.scm (python-clorm): Update to 1.6.1.
 2025-09-10 07:39:54 +02:00
Liliana Marie Prikler dab4770613 gnu: Add python-clingcon. 
* gnu/packages/potassco.scm (python-clingcon): New variable.
 2025-09-10 07:39:54 +02:00
Greg Hogan ce1c47ed9d gnu: Disable tests. 
* 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-08-04 04:10:18 +00:00
Liliana Marie Prikler 9f3d8dbda6 gnu: clingo: Update to 5.8.0. 
* gnu/packages/potassco.scm (clingo): Update to 5.8.0.
 2025-05-17 13:22:28 +02:00
Liliana Marie Prikler 37c19dc231 gnu: clasp: Update to 3.4.0. 
* gnu/packages/potassco.scm (clasp): Update to 3.4.0.
 2025-05-17 13:22:28 +02:00
Liliana Marie Prikler f022a1cccd gnu: libpotassco: Update to 0.0-3.2eecf5f. 
* gnu/packages/potassco.scm (libpotassco): Update to 0.0-3.2eecf5f.
 2025-05-17 13:22:28 +02:00
Liliana Marie Prikler e85f1da933 gnu: python-clintest: Propagate python-clingo. 
* gnu/packages/potassco.scm (python-clintest)[inputs]: Move to…
[propagated-inputs]: … here.
 2025-02-10 15:19:09 +01:00
Liliana Marie Prikler 2fda889ac9 gnu: python-clingo: Build from sources. 
* 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-02-03 18:24:51 -05:00
Sharlatan Hellseher cf6d9f5d87 gnu: python-asprin: Add missing inputs. 
* gnu/packages/potassco.scm (python-asprin) [native-inputs]: Add
python-setuptools and python-wheel.

Change-Id: I1c61ff4c431202a2627b704a4d73d56922c61bb8
 2025-01-20 21:38:04 +01:00
Ricardo Wurmus f8f29c7cb5 gnu: python-clingexplaid: Add missing inputs. 
* gnu/packages/potassco.scm (python-clingexplaid)[native-inputs]: Add
python-setuptools and python-wheel.

Change-Id: I01a26c154adb4fb789b6595625389b73e09db3dd
 2025-01-20 21:37:42 +01:00
Sharlatan Hellseher f96f094df2 gnu: python-clintest: Update to 0.3.0. 
* 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-18 01:27:49 +00:00
Sharlatan Hellseher 6c86ae62a0 gnu: python-clingox: Fix build, improve style. 
* 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-18 01:24:37 +00:00
Lars-Dominik Braun 6d97c15911 gnu: Add python-setuptools/python-wheel where necessary. 
Changes to pyproject-build-system require explicit dependency on
setuptools/wheel.

Change-Id: Icd7699fc1dc56e974ae7568f2ae916dbf876bea5
 2024-12-13 20:18:25 +00:00
Lars-Dominik Braun fdc0fefd46 build-system/pyproject: Use python-sans-pip-wrapper as default-python. 
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-13 20:15:41 +00:00
Liliana Marie Prikler a4bdae0f47 gnu: python-clinguin: Update to 2.1.1. 
* 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-08 14:10:54 +01:00
Liliana Marie Prikler ae18549bf4 gnu: python-clinguin: Fix homepage. 
* gnu/packages/potassco.scm (python-clinguin)[home-page]: Use
“https://github.com/potassco/clinguin”.
 2024-12-08 14:10:54 +01:00
Liliana Marie Prikler fe0b1aea1f gnu: Add python-clingexplaid. 
* gnu/packages/potassco.scm (python-clingexplaid): New variable.
 2024-12-08 14:10:52 +01:00
Liliana Marie Prikler d91b7a387a gnu: Add clingcon. 
* gnu/packages/potassco.scm (clingcon): New variable.
 2024-10-27 09:25:25 +01:00
Liliana Marie Prikler f1f8c98403 gnu: Add clingo-lpx. 
* gnu/packages/potassco.scm (clingo-lpx): New variable.
 2024-10-27 09:25:24 +01:00
Liliana Marie Prikler 009fb462ef gnu: Add python-clingox. 
* gnu/packages/potassco.scm (python-clingox): New variable.
 2024-07-27 11:25:23 +02:00
Liliana Marie Prikler d3e2b68e38 gnu: Add python-asprin. 
* gnu/packages/potassco.scm (python-asprin): New variable.
 2024-07-27 11:25:23 +02:00
Liliana Marie Prikler 3ed077e92c gnu: clasp: Prevent ID clashes in dependent packages. 
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-07-07 08:04:47 +02:00
Liliana Marie Prikler 5da23b0d5c gnu: Add python-clintest. 
* gnu/packages/potassco.scm (python-clintest): New variable.
 2024-05-14 06:58:50 +02:00
Liliana Marie Prikler e046d6d443 gnu: python-telingo: Update to 2.1.3. 
* 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-02 08:00:14 +01:00
Liliana Marie Prikler d694062fb5 gnu: python-plingo: Update to 1.1.0. 
* gnu/packages/potassco.scm (python-plingo): Update to 1.1.0.
 2024-03-02 08:00:14 +01:00
Liliana Marie Prikler 9c2c2f4fe4 gnu: python-clorm: Update to 1.5.0. 
* gnu/packages/potassco.scm (python-clorm): Update to 1.5.0.
 2024-03-02 08:00:14 +01:00
Liliana Marie Prikler 54e122c13d gnu: python-clingo-dl: Fix build. 
* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
[native-inputs]: Add python-scikit-build.
 2024-03-02 08:00:14 +01:00
Liliana Marie Prikler 9bb8f6bff2 gnu: python-clingo: Fix build. 
* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
 2024-03-02 08:00:14 +01:00
Liliana Marie Prikler 0036a1eaa5 gnu: clingo-dl: Update to 1.5.0. 
* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0.
 2024-03-02 08:00:14 +01:00
Liliana Marie Prikler b3e363024a gnu: clingo: Build from actual sources. 
* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove
generated sources.
[native-inputs]: Add bison and re2c.
 2024-03-02 08:00:14 +01:00
Liliana Marie Prikler a3de85db29 gnu: clingo: Update to 5.7.1. 
* gnu/packages/potassco.scm (clingo): Update to 5.7.1.
 2024-03-02 08:00:14 +01:00
Liliana Marie Prikler 9aabeb11a0 gnu: clasp: Update to 3.3.10. 
* gnu/packages/potassco.scm (clasp): Update to 3.3.10.
 2024-03-02 08:00:13 +01:00
Liliana Marie Prikler ba91a7ae60 gnu: libpotassco: Update to 0.0-2.69b677f. 
* gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f.
 2024-03-02 08:00:13 +01:00
Liliana Marie Prikler f05a4a00fe gnu: Add lua-clingo. 
* gnu/packages/potassco.scm (make-lua-clingo, lua5.1-clingo)
(lua5.2-clingo): New variables.
 2024-02-03 10:55:06 +01:00
Liliana Marie Prikler 689ca1e739 gnu: Add python-plingo. 
* gnu/packages/potassco.scm (python-plingo): New variable.
 2024-02-03 10:55:06 +01:00
Liliana Marie Prikler 77b3607653 gnu: python-clorm: Reindent with emacs. 
* gnu/packages/potassco.scm (python-clorm): Reindent with emacs.
 2024-02-03 10:55:06 +01:00
Liliana Marie Prikler 9f85c0cdb1 gnu: Add python-clingo-dl. 
* gnu/packages/potassco.scm (python-clingo-dl): New variable.
 2024-02-03 10:55:06 +01:00
Ricardo Wurmus 7d10e49dfc gnu: python-clingraph: Update to 1.1.2. 
* gnu/packages/potassco.scm (python-clingraph): Update to 1.1.2.

Change-Id: I5910853d39389ff9ad981543204fd8ef1445e495
 2024-01-16 12:44:37 +01:00
Maxim Cournoyer 45d07a0b01 gnu: catch2-3: Update to 3.5.1. 
* gnu/packages/check.scm (catch2-3.3): Rename to...
(catch2-3): ... this.  Update to 3.5.1.
* gnu/packages/logging.scm (spdlog) [native-inputs]: Rename catch2-3.3 to
catch2-3.
* gnu/packages/potassco.scm (clingo) [inputs]: Likewise.

Change-Id: Ied7724597ff4c6371dc4fedc10452ae870d23933
 2024-01-09 22:10:10 -05:00
Liliana Marie Prikler c34c3b1c2b gnu: Add plasp. 
* gnu/packages/patches/plasp-fix-normalization.patch: New file.
* gnu/packages/patches/plasp-include-iostream.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register them here.
* gnu/packages/potassoc.scm (plasp): New variable.

Change-Id: I0d8d64153b180a7d1d8d81888f843458efdf5e51
 2023-11-30 09:08:05 +01:00
Liliana Marie Prikler 5023424f16 gnu: Add clingo-dl. 
* gnu/packages/potassco.scm (clingo-dl): New variable.

Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
 2023-11-23 09:29:05 +01:00
Efraim Flashner f5a8808616 gnu: emacs-pasp-mode: Use a source file-name. 
* gnu/packages/potassco.scm (emacs-pasp-mode)[source]: Use a source
file-name.
 2023-07-08 23:25:03 +03:00
David Elsing f08754626c gnu: catch2: Update to 3.3.2. 
* gnu/packages/check.scm (catch2-3.1): Rename to catch2-3.3.
[version, source]: Update to 3.3.2.
[outputs]: Remove ‘doc’.
[build-system]: Use cmake-build-system.
[arguments]: Remove special phases.  Add CMake options to #:configure-flags.
* gnu/packages/potassco.scm (clingo): Adjust accordingly.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2023-07-01 11:53:20 +02:00
David Elsing 770f4ef198 gnu: clingo: Unbundle dependencies. 
* gnu/packages/potassco.scm: (clingo)[#:phases]: Patch CMakeLists.txt files to
use external dependencies.
[native-inputs]: Add mpark-variant, tl-optional, tsl-hopscotch-map,
tsl-ordered-map and tsl-sparse-map.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2023-07-01 11:53:20 +02:00