Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/swi-prolog
Commit message (Collapse)AuthorAgeFilesLines
* dev-lang/swi-prolog: filter LTOSam James2024-01-201-1/+3
| | | | | | | 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>
* dev-lang/swi-prolog: drop 8.4.1, 8.5.11, 8.5.12Andreas Sturmlechner2023-07-275-395/+0
| | | | | | | That's destabilising ppc. Closes: https://bugs.gentoo.org/892427 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* dev-lang/swi-prolog: fix configure w/ clang 16Sam James2023-02-112-0/+66
| | | | | Closes: https://bugs.gentoo.org/879657 Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/swi-prolog: Stabilize 9.1.2 amd64, #892427Sam James2023-02-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/swi-prolog: Stabilize 9.1.2 x86, #892427Sam James2023-02-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/swi-prolog: re-order "cmake_use_find_package qt6" on 9.1.2Joonas Niilola2023-01-081-2/+9
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-lang/swi-prolog: add 9.1.2Anna Vyalkova2023-01-083-1/+168
| | | | | | | | | | | | | | | | | | | | 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>
* dev-lang/swi-prolog: drop 8.4.2Anna Vyalkova2023-01-082-134/+0
| | | | | | Closes: https://bugs.gentoo.org/879577 Signed-off-by: Anna Vyalkova <cyber+gentoo@sysrq.in> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-lang/swi-prolog: set up Java for JPLKeri Harris2022-06-041-1/+5
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: move away from virtual/jpegKeri Harris2022-06-041-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2022-06-043-260/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-06-042-0/+134
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-05-142-0/+130
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2022-05-143-260/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-05-072-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-04-232-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2022-04-234-390/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-04-092-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: version bumpKeri Harris2022-04-092-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-03-062-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-03-052-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old versionsKeri Harris2022-01-235-488/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2022-01-224-390/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-01-222-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: Stabilize 8.4.1 ppc, #831195Sam James2022-01-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/swi-prolog: stable on amd64 + x86. #831195Keri Harris2022-01-141-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2022-01-142-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2021-12-112-0/+130
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: fix pkg-config callSam James2021-12-055-10/+20
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/swi-prolog: version bumpKeri Harris2021-11-192-0/+128
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-11-193-258/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2021-11-192-0/+128
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2021-11-182-0/+128
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-11-144-374/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add new development versionKeri Harris2021-11-142-0/+128
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: version bumpKeri Harris2021-11-142-0/+128
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: link libswipl.so with split ncurses/tinfo libsKeri Harris2021-11-142-2/+2
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: use pkg-config to determine ncurses link flagsKeri Harris2021-10-102-0/+255
| | | | | | Closes: https://bugs.gentoo.org/816144 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add development versionKeri Harris2021-09-262-0/+126
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-09-263-248/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add development versionKeri Harris2021-09-252-0/+126
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-lang/swi-prolog: add development versionKeri Harris2021-09-042-0/+124
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add missing libcrypt dependencySam James2021-07-144-8/+12
| | | | | Closes: https://bugs.gentoo.org/801976 Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/swi-prolog: use binding := for dev-libs/opensslKeri Harris2021-06-261-1/+1
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-06-263-246/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: add development versionKeri Harris2021-06-262-0/+123
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: use binding := for dev-libs/opensslIonen Wolkens2021-06-225-5/+5
| | | | | | | | Needed for upcoming upgrade to OpenSSL 3.0.0 which has changed ABI. Acked-by: David Seifert <soap@gentoo.org> Signed-off-by: Ionen Wolkens <ionen@gentoo.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/swi-prolog: add development versionKeri Harris2021-06-132-0/+123
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-05-153-221/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>