dev-lang / tuprolog

tuProlog is a light-weight Prolog for Internet applications and infrastructures

Official package sites : http://tuprolog.unibo.it/ ·

v3.2.0-r3 :: 0 :: gentoo

Modified
License
LGPL-3 BSD
Keywords
~amd64 ~x86
USE flags
doc examples source test

v3.2.0-r2 :: 0 :: gentoo

Modified
License
LGPL-3 BSD
Keywords
amd64 x86
USE flags
doc examples test

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
examples
Install examples, usually source code
source
Zip the sources and install them
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

app-arch / zip : Info ZIP (encryption support)

dev-java / ant : Java-based build tool similar to 'make' that uses XML configuration files

dev-java / commons-lang : Commons components to manipulate core java classes

dev-java / gson : Gson JSON library

dev-java / hamcrest : Core API and libraries of hamcrest matcher framework.

dev-java / java-config : Java environment configuration query tool

dev-java / javassist : A class library for editing bytecodes in Java.

dev-java / javatoolkit : Collection of Gentoo-specific tools for Java

dev-java / junit : Simple framework to write repeatable tests

virtual / jdk : Virtual for Java Development Kit (JDK)

app-arch / zip : Info ZIP (encryption support)

dev-java / commons-lang : Commons components to manipulate core java classes

dev-java / gson : Gson JSON library

dev-java / java-config : Java environment configuration query tool

dev-java / javassist : A class library for editing bytecodes in Java.

virtual / jdk : Virtual for Java Development Kit (JDK)

virtual / jre : Virtual for Java Runtime Environment (JRE)

Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-lang/tuprolog: rewrite with java-pkg-simple
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/36770/commits/395fab9731cd5f0f05ec7473e24266d1e4c1e929 Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-java/gson: slotmove 2.6 -> 0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/36150/commits/889e2369240e74a0f115a16abaaf82d03c634448 Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/tuprolog: Stabilize 3.2.0-r1 x86, #922766
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Volkmar W. Pogatzki · gentoo
dev-lang/tuprolog: drop 3.2.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-lang/tuprolog: Stabilize 3.2.0-r1 amd64, #922766
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-lang/tuprolog: add 3.2.0-r1 for >=dev-java/ant-1.10.14
also uses dev-java/hamcrest:0 instead of hamcrest-core:1.3 Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/34745 Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/tuprolog: remove old version
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/tuprolog: Stable on amd64 and x86
Closes: https://bugs.gentoo.org/831779 Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/tuprolog: pin JDK to 1.8 as package uses CORBA
Closes: https://bugs.gentoo.org/831410 Closes: https://bugs.gentoo.org/799704 Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/tuprolog: fix commons-lang EANT classpath
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
Keri Harris · gentoo
dev-lang/tuprolog: reslot dev-java/commons-lang dependency
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/tuprolog: eutils--
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/tuprolog: 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
Keri Harris · gentoo
dev-lang/tuprolog: stable on amd64 + x86. Closes 741690
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/tuprolog: consolidate build.xml instructions
Package-Manager: Portage-2.3.103, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Keri Harris · gentoo
dev-lang/tuprolog: 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/tuprolog: EAPI 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
Michał Górny · gentoo
*/*: [QA] Fix trivial cases of MissingTestRestrict
The result was achieved via the following pipeline: pkgcheck scan -c RestrictTestCheck -R FormatReporter \ --format '{category}/{package}/{package}-{version}.ebuild' | xargs -n32 grep -L RESTRICT | xargs -n32 sed -i -e '/^IUSE=.*test/aRESTRICT="!test? ( test )"' The resulting metadata was compared before and after the change. Few Go ebuilds had to be fixed manually due to implicit RESTRICT=strip added by the eclass. Two ebuilds have to be fixed because of multiline IUSE. Suggested-by: Robin H. Johnson <robbat2@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/13942 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Keri Harris · gentoo
dev-lang/tuprolog: remove old version
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/tuprolog: version bump
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/tuprolog: correctly specify JDK dependency
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/tuprolog: version bump
Package-Manager: Portage-2.3.8, 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
Manuel Rüger · gentoo
dev-lang/tuprolog: Remove old
Package-Manager: portage-2.3.3
Agostino Sarubbo · gentoo
dev-lang/tuprolog: x86 stable wrt bug #596454
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Keri Harris · gentoo
dev-lang/tuprolog: version bump
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/tuprolog: clean up cruft during install
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/tuprolog: 2.9.2 stable on amd64. #596454
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/tuprolog: specify slot deps
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/tuprolog: version bump
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/tuprolog: remove old versions
Package-Manager: portage-2.2.26
Ian Delaney · gentoo
Merge remote-tracking branch 'remotes/Coacher/mpv-verbump-to-0.15.0'
Pull request: https://github.com/gentoo/gentoo/pull/675
James Le Cuirot · gentoo
Drop support for Java on ppc across the tree
Sorry! *sniff*
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