Gentoo Packages
Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  • Home
  • Packages
  • Maintainers
  • USE flags
  • Architectures
  • About

dev-lang/
xsb

XSB is a logic programming and deductive database system

https://xsb.sourceforge.net

Overview Dependencies QA report Pull requests 0 Bugs 5 Security 0 Changelog

Bug Reports

  • dev-lang/xsb-4.0.0-r2 - [texlive] [glibc] [gcc-15] [ffmpeg] builtin.c: error: conflicting types for retrieve_prof_table; have void(th_context )
    949695 - Assigned to Gentoo Prolog project
  • dev-lang/xsb-3.8.0 - [clang] biassert.c: error: parameter Arg3 was not declared, defaults to int; ISO C99 and later do not support implicit int [-Wimplicit-in
    920916 - Assigned to Gentoo Prolog project
  • dev-lang/xsb-4.0.0 fails to compile: thread_xsb.c:1937:59: error: PTHREAD_MUTEX_ERRORCHECK_NP undeclared (first use in this function); did you mean PTHREAD_MUTEX_ERRORCHECK?
    830818 - Assigned to Gentoo musl team
  • dev-lang/xsb-4.0.0 fails to compile: /usr/bin/x86_64-pc-linux-gnu-ld: cannot find -lgcc_s
    829661 - Assigned to Gentoo Prolog project
  • dev-lang/xsb-4.0.0 - configure: error: uncecognized option: --enable-option-checking=warn
    828860 - Assigned to Gentoo Prolog project

Description

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:
  • File a new Bug
  • Confirm a bug
  • Participate in our monthly Bugday

Shortcuts

  • Packages Bugs (5)
  • Stabilization Bugs (0)
  • Keywording Bugs (0)
© 2001–2025 Gentoo Authors
Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.
Contact
v1.0.3