tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-24 03:00:35 +02:00
Code Activity
168,152 Commits 75 Branches 40 Tags
96c30d2bf650ca62beec280d541a0b52f2b6fc7d
Commit Graph

52 Commits

Author SHA1 Message Date
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
Liliana Marie Prikler
5b58608f56 gnu: Add python-clinguin. 
* gnu/packages/potassco.scm (python-clinguin): New variable.
 2023-05-09 19:54:27 +02:00
Liliana Marie Prikler
3676e312aa gnu: libpotassco: Unbundle catch. 
This patch incidentally fixes a build failure caused by the bundled catch.

* gnu/packages/potassco.scm (libpotassco)[source]: Unbundle catch.
[native-inputs]: Add catch2-1.
 2023-04-29 10:28:39 +02:00
Maxim Cournoyer
9df900341f gnu: python-typing-extensions: Move to (gnu packages python-build). 
* gnu/packages/python-xyz.scm (python-typing-extensions): Move to...
* gnu/packages/python-build.scm (python-typing-extensions): ... here.
 2023-04-19 20:12:13 -04:00