Home
last modified time | relevance | path

Searched defs:yices_build_mode (Results 1 – 5 of 5) sorted by relevance

/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_debug_version.c50 EXPORTED const char * const yices_build_mode = "debug/static"; variable
52 EXPORTED const char * const yices_build_mode = "debug"; variable
H A Dyices_gcov_version.c50 EXPORTED const char * const yices_build_mode = "gcov/static"; variable
52 EXPORTED const char * const yices_build_mode = "gcov"; variable
H A Dyices_profile_version.c50 EXPORTED const char * const yices_build_mode = "profile/static"; variable
52 EXPORTED const char * const yices_build_mode = "profile"; variable
H A Dyices_release_version.c50 EXPORTED const char * const yices_build_mode = "release/static"; variable
52 EXPORTED const char * const yices_build_mode = "release"; variable
H A Dyices_devel_version.c50 EXPORTED const char * const yices_build_mode = "devel/static"; variable
52 EXPORTED const char * const yices_build_mode = "devel"; variable