# -*- shell-script -*- :mode=shellscript:

ISABELLE_CSDP="$COMPONENT/"${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}}"/csdp"
