- spec file cosmetic updates:
  * Install COPYING using the %license macro.
  * Simplify linking in install section using relative links.

• Files Changed
• Browse Source

- Update to version 1.5.0:
  * Port to arm64 (aarch64)/Linux (armv8).
  * Port to arm32/Linux (armv6, armv7).
  * Accept clang as C compiler on x86_64/linux.
  * Restructure and improve the code of all MA-ASM mappers.
  * Fix a bug in absolute_file_name, '/src/../' returned '' now
    '/'.
  * Add error case to findall/4 (detects when Tail is not a list).
  * Set eof_action to reset for standard input/output/error streams
    Even if not a tty.
  * Add float_overflow and undefined for float arithmetic
    Functions.
  * Fix a bug when closing user_error.
  * Fix a bug in phrase/2-3.
  * Fix problem with gcc 10 which needs explicitly -fcommon.
  * Fix bugs when Prolog integers are internally converted to C int
    (on 64 bits machine).
- Enable build on newly supported ARM architectures.
- Remove -fcommon from cflags.
- Remove gprolog-1.4.5-remove-compilation-date.patch.
- Add gprolog-1.5.0-use-source_date_epoch.patch.

• Files Changed
• Browse Source

- Enable PIE.

• Files Changed
• Browse Source

- Run tests in check section.

• Files Changed
• Browse Source

- Add -fcommon to cflags: Fix build with GCC 10 (rh#1799464).

• Files Changed
• Browse Source

- Disable LTO to fix build.
- Refresh spec file.

• Files Changed
• Browse Source

- Update to version 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
  * 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
  * 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

• Files Changed
• Browse Source

- Disable PIE:
  * gplc generates its own native ASM
  * Add BuildIgnore in order not to pull gcc-PIE

• Files Changed
• Browse Source

- Workaround to build against i586: Build with --disable-regs.
- Don't try to build for unsupported architectures (see
  http://www.gprolog.org/#platform): Add ExclusiveArch tag.

• Files Changed
• Browse Source

GNU Prolog is a free Prolog compiler with constraint solving over finite domains (FD) developed at INRIA by Daniel Diaz. GNU Prolog is based on two systems developed by the same author (with lot of code rewriting and a lot of new extensions): wamcc and clp(FD). Much work has been devoted to make it ISO compatible, full compliance being one of its goals.

• Browse Source