# =============================================================================
#               CMake file for generic built options
# =============================================================================
#
# Note : These compile directives propagate to all targets on all systems
#
# =============================================================================


# What is defined 
#add_definitions (-D_AVM_BUILT_WITH_CMAKE_ -D_AVM_SOLVER_CVC4_ -D_AVM_BUILTIN_NUMERIC_BOOST_)
add_definitions (-D_AVM_BUILT_WITH_CMAKE_ -D_AVM_SOLVER_CVC4_ -D_AVM_BUILTIN_NUMERIC_GMP_)


# What is undefined
add_definitions (-U_AVM_SOLVER_YICES_V1_ -U_AVM_SOLVER_YICES_V2_ -U_AVM_SOLVER_CVC3_ -U _AVM_EXPRESSION_GINAC_ -U_AVM_SOLVER_OMEGA_)
add_definitions(-U_AVM_BUILTIN_NUMERIC_BOOST_)