Browse Source

Set version in doc automatically

refactoring
Matthias Volk 6 years ago
parent
commit
7268fc1472
  1. 6
      doc/source/conf.py
  2. 2
      lib/stormpy/__init__.py

6
doc/source/conf.py

@ -56,7 +56,7 @@ master_doc = 'index'
# General information about the project.
project = 'stormpy'
copyright = '2016--2018 Moves RWTH Aachen'
copyright = '2016-2019 Moves RWTH Aachen'
author = 'Sebastian Junges, Matthias Volk'
# The version info for the project you're documenting, acts as replacement for
@ -64,9 +64,9 @@ author = 'Sebastian Junges, Matthias Volk'
# built documents.
#
# The short X.Y version.
version = ''
version = stormpy.__version__
# The full version, including alpha/beta/rc tags.
release = ''
release = version
# The language for content autogenerated by Sphinx. Refer to documentation
# for a list of supported languages.

2
lib/stormpy/__init__.py

@ -15,7 +15,7 @@ from pycarl import Variable # needed for building parametric models
__version__ = "unknown"
try:
from _version import __version__
from ._version import __version__
except ImportError:
# We're running in a tree that doesn't have a _version.py, so we don't know what our version is.
pass

Loading…
Cancel
Save