dev-lang/

swi-prolog

Bug Reports

• dev-lang/swi-prolog-9.1.2-r1 - fails swipl:basic, swipl:core, swipl:transaction tests

  901037 - Assigned to Gentoo Prolog project
• dev-lang/swi-prolog-9.3.9 fails to compile: pl-setup.c:1137:1: error: conflicting types for PL_signal; have int ((int, int ()(int)))(int)

  946573 - Assigned to Gentoo Prolog project
• dev-lang/swi-prolog-8.5.12[java] preserved libs after depclean

  855203 - Assigned to Gentoo Prolog project
• dev-lang/swi-prolog-9.3.9 - [libtool] [gcc-15] /.../pl-prof.c: error: passing argument 2 of set_sighandler from incompatible pointer type [-Wincompatible-pointer-types]

  943941 - Assigned to Gentoo Prolog project
• dev-lang/swi-prolog-9.1.2-r1 fails tests: 4 - swipl:core (SEGFAULT)

  926325 - Assigned to Gentoo Prolog project
• dev-lang/swi-prolog-9.3.9 - [libtool] [llvm] ERROR: .../pl-wam.c:3344: int PL_next_solution_LD(PL_local_data_t , qid_t): Assertion failed: LD->exception.throw_environment

  941470 - Assigned to Gentoo Prolog project