From bd41ade5f0eee5afe8bc7f6c7c3ca76f1fa296b4 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 7 Oct 2021 07:51:09 -0700 Subject: Add new versioning scheme (#7253) This introduces a new versioning mechanism that allows for better automation. --- src/api/python/setup.py.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/api/python') diff --git a/src/api/python/setup.py.in b/src/api/python/setup.py.in index 7f8783a28..05efa152b 100644 --- a/src/api/python/setup.py.in +++ b/src/api/python/setup.py.in @@ -22,7 +22,7 @@ from setuptools import setup -CVC5_VERSION='${CVC5_MAJOR}.${CVC5_MINOR}.${CVC5_RELEASE}' +CVC5_VERSION='${CVC5_VERSION}' setup(name='pycvc5', version=CVC5_VERSION, -- cgit v1.2.3