tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-05-22 09:05:54 +02:00
Code Activity
141,313 Commits 75 Branches 40 Tags
09fe58e08cb1ff9be93752b018c5dd55c8ef9498
Commit Graph

30 Commits

Author SHA1 Message Date
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
Liliana Marie Prikler 2ebbe8e9df gnu: Add python-clingraph. 
* gnu/packages/potassco.scm (python-clingraph): New variable.
 2023-04-02 11:19:21 +02:00
Liliana Marie Prikler 383f1307c7 gnu: Separate potassco packages into their own module. 
* gnu/packages/potassco.scm: New file.
* gnu/packages/maths.scm (libpotassco, clasp, clingo, python-clingo)
(python-telingo): Move to potassco module.  Adjust imports accordingly.
* gnu/packages/emacs-xyz.scm (emacs-pasp-mode): Move to potassco module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/packages/potassco.scm.
 2023-04-02 11:19:21 +02:00