| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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
| Sharlatan Hellseher | 2024-12-18 | 1 | -3/+3 |
| * | 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
| Sharlatan Hellseher | 2024-12-18 | 1 | -11/+23 |
| * | gnu: Add python-setuptools/python-wheel where necessary.•••Changes to pyproject-build-system require explicit dependency on
setuptools/wheel.
Change-Id: Icd7699fc1dc56e974ae7568f2ae916dbf876bea5
| Lars-Dominik Braun | 2024-12-13 | 1 | -0/+4 |
| * | 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
| Lars-Dominik Braun | 2024-12-13 | 1 | -3/+6 |
| * | 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.
| Liliana Marie Prikler | 2024-12-08 | 1 | -3/+6 |
| * | gnu: python-clinguin: Fix homepage.•••* gnu/packages/potassco.scm (python-clinguin)[home-page]: Use
“https://github.com/potassco/clinguin”.
| Liliana Marie Prikler | 2024-12-08 | 1 | -1/+1 |
| * | gnu: Add python-clingexplaid.•••* gnu/packages/potassco.scm (python-clingexplaid): New variable.
| Liliana Marie Prikler | 2024-12-08 | 1 | -0/+33 |
| * | gnu: Add clingcon.•••* gnu/packages/potassco.scm (clingcon): New variable.
| Liliana Marie Prikler | 2024-10-27 | 1 | -0/+41 |
| * | gnu: Add clingo-lpx.•••* gnu/packages/potassco.scm (clingo-lpx): New variable.
| Liliana Marie Prikler | 2024-10-27 | 1 | -0/+37 |
| * | gnu: Add python-clingox.•••* gnu/packages/potassco.scm (python-clingox): New variable.
| Liliana Marie Prikler | 2024-07-27 | 1 | -0/+21 |
| * | gnu: Add python-asprin.•••* gnu/packages/potassco.scm (python-asprin): New variable.
| Liliana Marie Prikler | 2024-07-27 | 1 | -0/+37 |
| * | 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.
| Liliana Marie Prikler | 2024-07-07 | 1 | -28/+3 |
| * | gnu: Add python-clintest.•••* gnu/packages/potassco.scm (python-clintest): New variable.
| Liliana Marie Prikler | 2024-05-14 | 1 | -0/+33 |
| * | 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.
| Liliana Marie Prikler | 2024-03-02 | 1 | -3/+2 |
| * | gnu: python-plingo: Update to 1.1.0.•••* gnu/packages/potassco.scm (python-plingo): Update to 1.1.0.
| Liliana Marie Prikler | 2024-03-02 | 1 | -2/+2 |
| * | gnu: python-clorm: Update to 1.5.0.•••* gnu/packages/potassco.scm (python-clorm): Update to 1.5.0.
| Liliana Marie Prikler | 2024-03-02 | 1 | -2/+2 |
| * | 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.
| Liliana Marie Prikler | 2024-03-02 | 1 | -1/+7 |
| * | gnu: python-clingo: Fix build.•••* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
| Liliana Marie Prikler | 2024-03-02 | 1 | -0/+3 |
| * | gnu: clingo-dl: Update to 1.5.0.•••* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0.
| Liliana Marie Prikler | 2024-03-02 | 1 | -2/+2 |
| * | gnu: clingo: Build from actual sources.•••* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove
generated sources.
[native-inputs]: Add bison and re2c.
| Liliana Marie Prikler | 2024-03-02 | 1 | -1/+5 |
| * | gnu: clingo: Update to 5.7.1.•••* gnu/packages/potassco.scm (clingo): Update to 5.7.1.
| Liliana Marie Prikler | 2024-03-02 | 1 | -4/+7 |
| * | gnu: clasp: Update to 3.3.10.•••* gnu/packages/potassco.scm (clasp): Update to 3.3.10.
| Liliana Marie Prikler | 2024-03-02 | 1 | -2/+2 |
| * | gnu: libpotassco: Update to 0.0-2.69b677f.•••* gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f.
| Liliana Marie Prikler | 2024-03-02 | 1 | -3/+3 |
| * | gnu: Add lua-clingo.•••* gnu/packages/potassco.scm (make-lua-clingo, lua5.1-clingo)
(lua5.2-clingo): New variables.
| Liliana Marie Prikler | 2024-02-03 | 1 | -0/+24 |
| * | gnu: Add python-plingo.•••* gnu/packages/potassco.scm (python-plingo): New variable.
| Liliana Marie Prikler | 2024-02-03 | 1 | -0/+38 |
| * | gnu: python-clorm: Reindent with emacs.•••* gnu/packages/potassco.scm (python-clorm): Reindent with emacs.
| Liliana Marie Prikler | 2024-02-03 | 1 | -29/+29 |
| * | gnu: Add python-clingo-dl.•••* gnu/packages/potassco.scm (python-clingo-dl): New variable.
| Liliana Marie Prikler | 2024-02-03 | 1 | -1/+35 |
| * | gnu: python-clingraph: Update to 1.1.2.•••* gnu/packages/potassco.scm (python-clingraph): Update to 1.1.2.
Change-Id: I5910853d39389ff9ad981543204fd8ef1445e495
| Ricardo Wurmus | 2024-01-16 | 1 | -2/+3 |
| * | 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
| Maxim Cournoyer | 2024-01-09 | 1 | -1/+1 |
| * | 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
| Liliana Marie Prikler | 2023-11-30 | 1 | -0/+32 |
| * | gnu: Add clingo-dl.•••* gnu/packages/potassco.scm (clingo-dl): New variable.
Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
| Liliana Marie Prikler | 2023-11-23 | 1 | -0/+22 |
| * | gnu: emacs-pasp-mode: Use a source file-name.•••* gnu/packages/potassco.scm (emacs-pasp-mode)[source]: Use a source
file-name.
| Efraim Flashner | 2023-07-08 | 1 | -0/+1 |
| * | 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>
| David Elsing | 2023-07-01 | 1 | -1/+1 |
| * | 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>
| David Elsing | 2023-07-01 | 1 | -4/+20 |
| * | gnu: Add python-clinguin.•••* gnu/packages/potassco.scm (python-clinguin): New variable.
| Liliana Marie Prikler | 2023-05-09 | 1 | -1/+48 |
| * | 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.
| Liliana Marie Prikler | 2023-04-29 | 1 | -0/+7 |
| * | 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.
| Maxim Cournoyer | 2023-04-19 | 1 | -0/+1 |
| * | gnu: Add python-clingraph.•••* gnu/packages/potassco.scm (python-clingraph): New variable.
| Liliana Marie Prikler | 2023-04-02 | 1 | -0/+31 |
| * | 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.
| Liliana Marie Prikler | 2023-04-02 | 1 | -0/+345 |
