SIMGRID_VERSION_MAJOR and friends. Please also update the
comments right before these macros so that we keep a track of the
version numbers that were used.
SIMGRID_VERSION_MAJOR and friends. Please also update the
comments right before these macros so that we keep a track of the
version numbers that were used.