dev-lang / gprolog

Native Prolog compiler with constraint solving over finite domains (FD)

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

v1.5.0-r1 :: 0 :: gentoo

Modified
License
|| ( GPL-2+ LGPL-3+ )
Keywords
amd64 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
829563
dev-lang/gprolog-1.5.0 fails to compile
883165
dev-lang/gprolog-1.5.0 - prototype is deprecated in all versions of C and is not supported in C2x
943955
dev-lang/gprolog-1.5.0-r1 - [libtool] [gcc-15] stacks_sigsegv.c: error: conflicting types for SIGSEGV_Handler; have void(int, siginfo_t , void )
948109
dev-lang/gprolog-1.5.0-r1 fails to compile: Fatal Error: Segmentation Violation (bad address: 0x80002c)
Repository mirror & CI · gentoo
Merge updates from master
Eli Schwartz · gentoo
dev-lang/gprolog: mark as LTO-unsafe
It is using global register variables, and there's a GCC bug that makes this not work with LTO. Closes: https://bugs.gentoo.org/855599 Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Eli Schwartz · gentoo
dev-lang/gprolog: comment PATCHES to indicate where they are applied upstream
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/gprolog: drop 1.4.5, EAPI6--
Closes: https://bugs.gentoo.org/931919 Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-lang/gprolog: unkeyword ppc
Closes: https://bugs.gentoo.org/931919 Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/gprolog: Stabilize 1.5.0-r1 x86, #931919
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/gprolog: Stabilize 1.5.0-r1 amd64, #931919
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Mair-Keimberger · gentoo
dev-lang/gprolog: EAPI8 bump, minor improvements
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/35933 Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
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