dev-lang / qu-prolog

Extended Prolog supporting quantifiers, object-variables and substitutions

Official package sites : http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html ·

v10.1 :: 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
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-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 / mpatch : Patch-like tool which can resolve common causes of patch rejects when applying

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

games-rpg / kqlives : A console-style role playing game

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

app-misc / rlwrap : GNU readline wrapper

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 / mpatch : Patch-like tool which can resolve common causes of patch rejects when applying

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

games-rpg / kqlives : A console-style role playing game

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

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

247433
dev-util/mpatch collides with app-editors/mp and dev-lang/qu-prolog
597790
games-rpg/kqlives-0.99-r1 : file collision with dev-lang/qu-prolog-10.0
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