summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
AgeCommit message (Collapse)Author
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.
2024-01-16gnu: python-clingraph: Update to 1.1.2.Ricardo Wurmus
* gnu/packages/potassco.scm (python-clingraph): Update to 1.1.2. Change-Id: I5910853d39389ff9ad981543204fd8ef1445e495
2024-01-09gnu: catch2-3: Update to 3.5.1.Maxim Cournoyer
* 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
2023-11-30gnu: Add plasp.Liliana Marie Prikler
* 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-23gnu: Add clingo-dl.Liliana Marie Prikler
* gnu/packages/potassco.scm (clingo-dl): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
2023-07-08gnu: emacs-pasp-mode: Use a source file-name.Efraim Flashner
* gnu/packages/potassco.scm (emacs-pasp-mode)[source]: Use a source file-name.
2023-07-01gnu: catch2: Update to 3.3.2.David Elsing
* 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 <[email protected]>
2023-07-01gnu: clingo: Unbundle dependencies.David Elsing
* 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 <[email protected]>
2023-05-09gnu: Add python-clinguin.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clinguin): New variable.
2023-04-29gnu: libpotassco: Unbundle catch.Liliana Marie Prikler
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-19gnu: python-typing-extensions: Move to (gnu packages python-build).Maxim Cournoyer
* gnu/packages/python-xyz.scm (python-typing-extensions): Move to... * gnu/packages/python-build.scm (python-typing-extensions): ... here.
2023-04-02gnu: Add python-clingraph.Liliana Marie Prikler
* gnu/packages/potassco.scm (python-clingraph): New variable.
2023-04-02gnu: Separate potassco packages into their own module.Liliana Marie Prikler
* 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.
generated by cgit v1.2.3 (git 2.45.2) at 2025-04-16 07:49:20 +0000