dev-lang / qu-prolog

Extended Prolog supporting quantifiers, object-variables and substitutions

Official package sites : https://staff.itee.uq.edu.au/pjr/HomePages/QuPrologHome.html ·

v10.8 :: 0 :: gentoo

Modified
License
Apache-2.0 GPL-2+
Keywords
~amd64 ~ppc ~x86
USE flags
debug doc examples pcre pedro qt5 readline threads

v10.7 :: 0 :: gentoo

Modified
License
Apache-2.0 GPL-2+
Keywords
~amd64 ~ppc ~x86
USE flags
debug doc examples pcre pedro qt5 readline threads

v10.6 :: 0 :: gentoo

Modified
License
Apache-2.0 GPL-2+
Keywords
amd64 ppc x86
USE flags
debug doc examples pedro qt5 readline threads

General

debug
Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
examples
Install examples, usually source code
pcre
Add support for Perl Compatible Regular Expressions
pedro
Pedro subscription/notification communications system
qt5
Add support for the Qt 5 application and UI framework
readline
Enable support for libreadline, a GNU line-editing library that almost everyone wants
threads
Add threads support for various packages. Usually pthreads

app-misc / rlwrap : GNU readline wrapper

dev-lang / perl : Larry Wall's Practical Extraction and Report Language

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-libs / libpcre2 : Perl-compatible regular expression library

dev-qt / qtgui : The GUI module and platform plugins for the Qt5 framework

dev-qt / qtwidgets : Set of components for creating classic desktop-style UIs for the Qt5 framework

dev-util / rej : A utility for solving diff/patch rejects

net-misc / pedro : Pedro is a subscription/notification communications system

app-misc / rlwrap : GNU readline wrapper

dev-libs / libpcre2 : Perl-compatible regular expression library

dev-qt / qtgui : The GUI module and platform plugins for the Qt5 framework

dev-qt / qtwidgets : Set of components for creating classic desktop-style UIs for the Qt5 framework

dev-util / rej : A utility for solving diff/patch rejects

net-misc / pedro : Pedro is a subscription/notification communications system

dev-util / rej : A utility for solving diff/patch rejects

895026
dev-lang/qu-prolog-10.7 fails to compile (MUSL-CLANG-SYSTEM): heap_qp.h:293:3: error: ISO C++17 does not allow register storage class specifier [-Wregister]
Repository mirror & CI · gentoo
Merge updates from master
Eli Schwartz · gentoo
dev-lang/qu-prolog: update lto comment with more info
Because I got a very promising 6-minute response to my report. email gang ++ Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Eli Schwartz · gentoo
dev-lang/qu-prolog: update HOMEPAGE, SRC_URI for https
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Eli Schwartz · gentoo
dev-lang/qu-prolog: add 10.8
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Eli Schwartz · gentoo
dev-lang/qu-prolog: mark as LTO-unsafe, strict-aliasing unsafe
Closes: https://bugs.gentoo.org/924768 Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Pacho Ramos · gentoo
dev-lang/qu-prolog: Support python 3.12
Closes: https://bugs.gentoo.org/929403 Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: add 10.7
Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: support python 3.10 + 3.11
Closes: https://bugs.gentoo.org/845648 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: compiler-portable CXXFLAGS check. Closes 766072
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/qu-prolog: fix PythonMissingDeps
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: fix python script shebangs. Closes 766066
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/qu-prolog: eutils--
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: remove old versions
Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/qu-prolog: Stabilize 10.6 ppc, #764050
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/qu-prolog: Stabilize 10.6 x86, #764050
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/qu-prolog: Stabilize 10.6 amd64, #764050
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Package-Manager: Portage-2.3.103, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: remove old versions
Package-Manager: Portage-2.3.103, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-lang/qu-prolog: x86 stable wrt bug #729744
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-lang/qu-prolog: ppc stable wrt bug #729744
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: amd64 stable (bug #729744)
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: EAPI 7 fixup
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Keri Harris · gentoo
dev-lang/qu-prolog: consolidate QT patches
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.89, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: remove old version
Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Thomas Deutschmann · gentoo
dev-lang/qu-prolog: x86 stable (bug #665142)
Package-Manager: Portage-2.3.49, Repoman-2.3.10
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-lang/qu-prolog: stable 10.1 for ppc, bug #665142
Package-Manager: Portage-2.3.49, Repoman-2.3.10 RepoMan-Options: --include-arches="ppc"
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: amd64 stable (bug #665142)
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Andreas Sturmlechner · gentoo
dev-lang/qu-prolog: Drop Qt4-based ebuild
Bug: https://bugs.gentoo.org/645628 Package-Manager: Portage-2.3.27, Repoman-2.3.9
Sergei Trofimovich · gentoo
dev-lang/qu-prolog: stable 10.0-r1 for ppc, bug #645628
Package-Manager: Portage-2.3.27, Repoman-2.3.9 RepoMan-Options: --include-arches="ppc"
Thomas Deutschmann · gentoo
dev-lang/qu-prolog: x86 stable (bug #645628)
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Keri Harris · gentoo
dev-lang/qu-prolog: amd64 stable
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Keri Harris · gentoo
dev-lang/qu-prolog: port to QT5
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Keri Harris · gentoo
dev-lang/qu-prolog: remove old versions
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Thomas Deutschmann · gentoo
dev-lang/qu-prolog: x86 stable (bug #631726)
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Sergei Trofimovich · gentoo
dev-lang/qu-prolog: stable 10.0 for ppc, bug #631726
Package-Manager: Portage-2.3.10, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc"
Keri Harris · gentoo
dev-lang/qu-prolog: stable on amd64. Bug #631726
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/qu-prolog: block games-rpg/kqlives due to file collision. See bug #597790
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Keri Harris · gentoo
dev-lang/qu-prolog: fix compile with GCCv6
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/qu-prolog: build-time fixes for USE=debug
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/qu-prolog: version bump
Package-Manager: portage-2.2.26
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed