summaryrefslogtreecommitdiff
path: root/dev-lang/swi-prolog
AgeCommit message (Collapse)Author
22 hoursdev-lang/swi-prolog: bump to 10.0.0Maciej Barć
Bug: https://github.com/SWI-Prolog/swipl-devel/issues/1415 Closes: https://bugs.gentoo.org/967110 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-11-14dev-lang/swi-prolog: Keyword 9.3.28 ppc, #962000Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2025-11-04dev-*/*: update for virtual/zlibMichał Górny
Update done using: ``` git grep -l sys-libs/zlib dev-* | xargs sed -i -e s@sys-libs/zlib@virtual/zlib@g git diff --name-only | xargs copybump git diff --name-only | xargs grep -l PYTHON_COMPAT | xargs gpy-impl -@dead pkgcheck scan --commits -c SourcingCheck,VisibilityCheck --exit error ``` Followed by manual revert in dev-python/zlib-ng where it accidentally caught sys-libs/zlib-ng dependencies. Signed-off-by: Michał Górny <mgorny@gentoo.org>
2025-10-23dev-lang/swi-prolog: drop old 9.3.9-r1Maciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-10-11dev-lang/swi-prolog: Keyword 9.3.28 x86, #962000Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2025-10-03dev-lang/swi-prolog: Stabilize 9.3.28 amd64, #963719Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2025-09-13dev-lang/swi-prolog: Stabilize 9.3.25 amd64, #962613Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2025-09-12dev-lang/swi-prolog: Stabilize 9.3.25 x86, #962613Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2025-08-26dev-lang/swi-prolog: update metadata XMLMaciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-08-26dev-lang/swi-prolog: bump to 9.3.28Maciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-07-29dev-lang/swi-prolog: bump to 9.3.25; fix compilation errorsigna_martinoli
This bump fixes build failure with modern glibc due to signal handler type mismatch. Newer glibc headers enforce stricter function pointer types, causing older versions of this package to fail compilation. Upgrading resolves the issue. Closes: https://bugs.gentoo.org/946573 Signed-off-by: igna_martinoli <ignamartinoli@protonmail.com> Part-of: https://github.com/gentoo/gentoo/pull/43206 Closes: https://github.com/gentoo/gentoo/pull/43206 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-07-28dev-lang/swi-prolog: add me (xgqt) as co-maint; rewrite metadataMaciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-03-30dev-lang/swi-prolog: drop 9.3.9Andreas Sturmlechner
Closes: https://bugs.gentoo.org/952936 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
2025-03-30dev-lang/swi-prolog: Drop IUSE qt6, making USE gui Qt6-onlyAndreas Sturmlechner
Bug: https://bugs.gentoo.org/952936 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
2025-03-30dev-lang/swi-prolog: drop 9.1.2-r1Andreas Sturmlechner
Bug: https://bugs.gentoo.org/952936 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
2025-03-24dev-lang/swi-prolog: Stabilize 9.3.9 x86, #951967Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2025-03-24dev-lang/swi-prolog: Stabilize 9.3.9 amd64, #951967Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2024-10-12dev-lang/swi-prolog: bump to 9.3.9Maciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2024-01-20dev-lang/swi-prolog: filter LTOSam James
ICEs with GCC but it's also filled with UB (see the linked GCC bug). Bug: https://gcc.gnu.org/PR113521 Signed-off-by: Sam James <sam@gentoo.org>
2023-07-27dev-lang/swi-prolog: drop 8.4.1, 8.5.11, 8.5.12Andreas Sturmlechner
That's destabilising ppc. Closes: https://bugs.gentoo.org/892427 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
2023-02-11dev-lang/swi-prolog: fix configure w/ clang 16Sam James
Closes: https://bugs.gentoo.org/879657 Signed-off-by: Sam James <sam@gentoo.org>
2023-02-07dev-lang/swi-prolog: Stabilize 9.1.2 amd64, #892427Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2023-02-07dev-lang/swi-prolog: Stabilize 9.1.2 x86, #892427Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2023-01-08dev-lang/swi-prolog: re-order "cmake_use_find_package qt6" on 9.1.2Joonas Niilola
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
2023-01-08dev-lang/swi-prolog: add 9.1.2Anna Vyalkova
Lots of changes! * EAPI 7 -> 8 * xdg-utils -> xdg * Improved constraints * Add REQUIRED_USE * New "ipc" USE flag (depends on !minimal) * Dropped "uuid" (part of !minimal now) * Follow Gentoo policy on Qt USE flags * Add PGO support * Add missing X deps * Bump JUnit dep * Fix -Werror Signed-off-by: Anna Vyalkova <cyber+gentoo@sysrq.in> Closes: https://github.com/gentoo/gentoo/pull/28115 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
2023-01-08dev-lang/swi-prolog: drop 8.4.2Anna Vyalkova
Closes: https://bugs.gentoo.org/879577 Signed-off-by: Anna Vyalkova <cyber+gentoo@sysrq.in> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
2022-06-04dev-lang/swi-prolog: set up Java for JPLKeri Harris
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-06-04dev-lang/swi-prolog: move away from virtual/jpegKeri Harris
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-06-04dev-lang/swi-prolog: remove old development versionsKeri Harris
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-06-04dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-05-14dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-05-14dev-lang/swi-prolog: remove old development versionsKeri Harris
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-05-07dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-04-23dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-04-23dev-lang/swi-prolog: remove old development versionsKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-04-09dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-04-09dev-lang/swi-prolog: version bumpKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-03-06dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-03-05dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-01-23dev-lang/swi-prolog: remove old versionsKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-01-22dev-lang/swi-prolog: remove old development versionsKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-01-22dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-01-21dev-lang/swi-prolog: Stabilize 8.4.1 ppc, #831195Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2022-01-14dev-lang/swi-prolog: stable on amd64 + x86. #831195Keri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2022-01-14dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2021-12-11dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2021-12-05dev-lang/swi-prolog: fix pkg-config callSam James
Signed-off-by: Sam James <sam@gentoo.org>
2021-11-19dev-lang/swi-prolog: version bumpKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2021-11-19dev-lang/swi-prolog: remove old development versionsKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
2021-11-19dev-lang/swi-prolog: add new development versionKeri Harris
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-06 14:23:20 +0000