gecode

Information

Recipe updated

2026-10-03T01:56:12.000Z

Platforms

• linux: i386, x86_64, armv7, armv7s, arm64, mips, mips64, mipsel, mips64el, loong64, riscv64, s390x, ppc, ppc64, ppc64el, sparc64
• android: armeabi, armeabi-v7a, arm64-v8a, riscv64, x86, x86_64, mips, mip64
• cross: i386, x86_64, arm, armv7, arm64, mips, mips64, mips64el, riscv, riscv64, loong64, s390x, ppc, ppc64, ppc64el, sh4, sparc64

Options

allocator

Enable default allocator · Type: boolean · Default: true

audit

Enable audit code · Type: boolean · Default: false

cbs

Enable counting-based search support · Type: boolean · Default: false

cpprofiler

Enable CPProfiler support · Type: boolean · Default: true

driver

Build driver module · Type: boolean · Default: true

fault_injection

Enable deterministic test-only failpoints · Type: boolean · Default: false

flatzinc

Build FlatZinc module · Type: boolean · Default: true

float_vars

Build float variables module · Type: boolean · Default: true

gcc_visibility

Enable GCC visibility attributes · Type: boolean · Default: true

int_vars

Build int variables module · Type: boolean · Default: true

minimodel

Build minimodel module · Type: boolean · Default: true

mpfr

Enable MPFR support · Type: boolean · Default: true

osx_unfair_mutex

Enable macOS unfair mutexes · Type: boolean · Default: true

search

Build search module · Type: boolean · Default: true

set_vars

Build set variables module · Type: boolean · Default: true

thread

Enable thread support · Type: boolean · Default: true

Versions

• 6.4.0

Dependencies

• cmake

Install with xrepo

Install the package independently of a project and inspect its available configuration.

install

xrepo install "gecode 6.4.0"

show info

xrepo info "gecode"

Link a library to your target

Declare the requirement, then attach the library to the target that uses it.

xmake.lua

add_requires("gecode 6.4.0")

target("demo")
    set_kind("binary")
    add_files("src/*.cpp")
    add_packages("gecode")

Open a package environment

Open a shell with the environment exported by this package. Use the executable names documented by the package.

enter shell

xrepo env -b "gecode 6.4.0" shell