set(SIMGRID_VERSION_MAJOR "3")
set(SIMGRID_VERSION_MINOR "22")
-set(SIMGRID_VERSION_PATCH "90")
-set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
+set(SIMGRID_VERSION_PATCH "2")
+#set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
set(SIMGRID_VERSION_DATE "2019") # Year for copyright information
SimGrid (3.23) NOT RELEASED (Release Target: June 21. 2019, 15:54 UTC)
+This was released as 3.22.2 as is, in the hope it will help you.
+
General:
- Stop setting random seed with srand48() at initialization.
author = u'The SimGrid Team'
# The short X.Y version
-version = u'alpha 3.23'
+version = u'3.22.2'
# The full version, including alpha/beta/rc tags
-release = u'alpha 3.23'
-
+release = u'3.22.2'
# -- General configuration ---------------------------------------------------
sonar.projectKey=simgrid
sonar.projectName=SimGrid
-sonar.projectVersion=3.22.90
+sonar.projectVersion=3.22.2
sonar.links.homepage=https://simgrid.org
sonar.links.issue=https://framagit.org/simgrid/simgrid/issues