export ISL_VERSION=0.27

IFS='.' read -r ISL_VERSION_MAJOR ISL_VERSION_MINOR <<< $ISL_VERSION
export ISL_VERSION_MAJOR ISL_VERSION_MINOR

export ISL_URL=https://libisl.sourceforge.io/isl-$ISL_VERSION.tar.xz