dev-lang / gprolog

A native Prolog compiler with constraint solving over finite domains (FD)

Official package sites : http://www.gprolog.org/ ·

v1.5.0 :: 0 :: gentoo

Modified
License
|| ( GPL-2+ LGPL-3+ )
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux
USE flags
debug doc examples

v1.4.5 :: 0 :: gentoo

Modified
License
|| ( GPL-2+ LGPL-3+ )
Keywords
amd64 ppc x86 ~amd64-linux ~ppc-macos ~x86-linux
USE flags
debug doc examples

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

app-portage / elt-patches : Collection of patches for libtool.eclass

sys-devel / autoconf : Used to create autoconfiguration files

sys-devel / automake : Used to generate Makefile.in from Makefile.am

sys-devel / gnuconfig : Updated config.sub and config.guess file from GNU

sys-devel / libtool : A shared library tool for developers

829563
dev-lang/gprolog-1.5.0 fails to compile
855599
dev-lang/gprolog-1.5.0 fails to compile (lto): wam_archi.h:62:34: error: global register variable follows a function definition
883165
dev-lang/gprolog-1.5.0 - prototype is deprecated in all versions of C and is not supported in C2x
Repository mirror & CI · gentoo
Merge updates from master
Fabian Groffen · gentoo
*/*: remove x86-solaris keyword
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/gprolog: version bump
Package-Manager: Portage-3.0.20, 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/gprolog: use clang as assembler for LLVM toolchains
Closes http://bugs.gentoo.org/737072 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/gprolog: drop epatch
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/gprolog: multilib--
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/gprolog: eutils->epatch
Package-Manager: Portage-3.0.14-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/gprolog: remove old version
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
Sam James · gentoo
dev-lang/gprolog: ppc stable (bug #733338)
Package-Manager: Portage-2.3.103, Repoman-2.3.23 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/gprolog: amd64, x86 stable. (Bug #733338)
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/gprolog: fixed Prolog registers can only be used with GCC
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/gprolog: work around GCC10 (-fno-common) build failures
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
David Seifert · gentoo
dev-lang/gprolog: [QA] inherit toolchain-funcs.eclass directly
Package-Manager: Portage-2.3.88, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/gprolog: disable PIE as gplc generates native ASM
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/gprolog: enabled PL -> WAM compilation on x86
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/gprolog: do not write outside of sandbox during tests
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/gprolog: version bump
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Keri Harris · gentoo
dev-lang/gprolog: apply upstream patch for PIC-aware GPLC. Closes #403693
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Harri Nieminen · gentoo
dev-lang/gprolog: fix toolong DESCRIPTION.
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
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