bugfix update in Fedora 28 for gprolog

Status: stable 5 months ago

Update to 1.4.5


  • fix a bug in soft-cut (when a cut appears in the if-part)
  • fix bug when consulting multifile predicates with alternatives
  • add ?- ISO prefix operator
  • add gplc option --new-top-level (add top-level command-line option handling)
  • fix a bug on linux witg gcc 6.3.0 (or binutils): needs PIC code
  • fix a bug in findall/4
  • fix a bug in select/5 under Windows
  • fix a bug in the compiler
  • fix a bug in read/1
  • fix large address awarenes under cygwin32 (configure.in)
  • improve memory limitation of acyclic_term/1
  • improve term output (write/1 and friends)
  • improve error handling for options (e.g. in write_term/3)
  • fix bug with cut in the if-part of if-then(-else)
  • fix port to x86_64/OpenBSD (machine kindly provided by Duncan Patton a Campbell)
  • fix a bug with Apple/Yosemite gcc = LLVM version 6.0 (clang-600.0.56) on x86_64
  • allow to define more atoms with MAX_ATOM env var on 64 bits machines
  • fix a bug in bagof/3 when used as findall/3
  • port to sparc64/OpenBSD (machine kindly provided by Duncan Patton a Campbell)
  • add built-in predicate findall/4
  • fix a bug with linedit when environment variable LINEDIT=no
  • fix bugs in the FD solver
  • set socket option SO_REUSEADDR at socket creation
  • support for alternate Prolog file extension .prolog
  • fix a bug in atoms for 1-char atom '\0' (now acts as the empty atom)
  • fix problems with Apple/Mavericks gcc = LLVM version 5.0 (clang-500.2.79) on x86_64
  • remove clang warnings (uninitialized variables)
  • fix bugs in the lexer of the form 0bop 2 when bop is an infix op
  • fix terminal ANSI sequence handling in linedit
  • increase internal compiler data sizes
  • fix bug in gprolog.h (invalid 64 bits PL_MAX_INTEGER)

How to install

sudo dnf upgrade --advisory=FEDORA-2019-1881de256c

Comments 6

This update has been submitted for testing by thofmann.

This update has been pushed to testing.

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

This update has been submitted for batched by thofmann.

This update has been submitted for stable by bodhi.

This update has been pushed to stable.

Content Type
Test Gating
Submitted by
Update Type
Update Severity
stable threshold: 3
unstable threshold: -3
submitted 5 months ago
in testing 5 months ago
in stable 5 months ago

Related Bugs 1

00 #1670968 gprolog-1.4.5 is available

Automated Test Results