Upload to PypPi (Test) (pysmt#571)

Upload pypi package to test pypi repository

Author: Marco Gario

azure-pipelines.yml

@@ -48,7 +48,7 @@ jobs:
 
 
 - job: 'Ubuntu16All'
-  condition: or(eq(variables['Build.SourceBranchName'], 'master'), eq(variables['Build.Reason'], 'PullRequest'))
+  condition: or(eq(variables['build.sourceBranch'], 'refs/heads/master'), eq(variables['Build.Reason'], 'PullRequest'))
   pool:
     vmImage: 'Ubuntu-16.04'
   strategy:
@@ -98,7 +98,7 @@ jobs:
 
 
 - job: 'Ubuntu16Py27'
-  condition: or(eq(variables['Build.SourceBranchName'], 'master'), eq(variables['Build.Reason'], 'PullRequest'))
+  condition: or(eq(variables['build.sourceBranch'], 'refs/heads/master'), eq(variables['Build.Reason'], 'PullRequest'))
   pool:
     vmImage: 'Ubuntu-16.04'
   strategy:
@@ -146,7 +146,7 @@ jobs:
 
 
 - job: 'Ubuntu16PyPy2'
-  condition: or(eq(variables['Build.SourceBranchName'], 'master'), eq(variables['Build.Reason'], 'PullRequest'))
+  condition: or(eq(variables['build.sourceBranch'], 'refs/heads/master'), eq(variables['Build.Reason'], 'PullRequest'))
   pool:
     vmImage: 'Ubuntu-16.04'
   strategy:
@@ -191,7 +191,7 @@ jobs:
 
 
 - job: 'Ubuntu16PyPy3'
-  condition: or(eq(variables['Build.SourceBranchName'], 'master'), eq(variables['Build.Reason'], 'PullRequest'))
+  condition: or(eq(variables['build.sourceBranch'], 'refs/heads/master'), eq(variables['Build.Reason'], 'PullRequest'))
   pool:
     vmImage: 'Ubuntu-16.04'
   strategy:
@@ -236,7 +236,7 @@ jobs:
 
 
 - job: 'OSX10_13'
-  condition: or(eq(variables['Build.SourceBranchName'], 'master'), eq(variables['Build.Reason'], 'PullRequest'))
+  condition: or(eq(variables['build.sourceBranch'], 'refs/heads/master'), eq(variables['Build.Reason'], 'PullRequest'))
   pool:
     vmImage: 'macOS-10.13'
   strategy:
@@ -278,7 +278,7 @@ jobs:
 
 
 - job: 'Win2016'
-  condition: or(eq(variables['Build.SourceBranchName'], 'master'), eq(variables['Build.Reason'], 'PullRequest'))
+  condition: or(eq(variables['build.sourceBranch'], 'refs/heads/master'), eq(variables['Build.Reason'], 'PullRequest'))
   pool:
     vmImage: 'vs2017-win2016'
   strategy:
@@ -311,3 +311,24 @@ jobs:
   - bash: ci/run_win.sh
     displayName: 'Testing'
 
+- job: PyPi
+  dependsOn:
+    - 'Ubuntu16Py37'
+    - 'Ubuntu16All'
+    - 'Ubuntu16Py27'
+    - 'Ubuntu16PyPy2'
+    - 'Ubuntu16PyPy3'
+    - 'OSX10_13'
+    - 'Win2016'
+  condition: and(succeeded(), eq(variables['build.sourceBranch'], 'refs/heads/master'))
+  steps:
+  - bash: pip install twine wheel
+    displayName: 'Install Twine and Wheel'
+  - script: './make_distrib.sh'
+    displayName: 'Make Distrib'
+  - script: 'cd dist; zip PySMT*.whl six.py'
+  - task: TwineAuthenticate@0
+    inputs:
+      externalFeeds: PyPITest
+  - script: 'python -m twine upload -r pySMT --config-file $(PYPIRC_PATH) dist/*.whl'
+    displayName: 'Uploading to PyPI-Test'

pysmt/__init__.py

@@ -22,7 +22,6 @@
 __version__ = "%d.%d.%d%s%d" % VERSION if len(VERSION) == 5 else \
               "%d.%d.%d" % VERSION
 
-
 def git_version():
     """Human-readable version of latest commit.
 
@@ -43,3 +42,10 @@ def git_version():
         return __version__ # pragma: no cover
     except OSError:
         return __version__ # pragma: no cover
+
+# Override version number in dev branch to include the number of
+# commits since the release
+if len(VERSION) == 5:
+    commits_from_tag = git_version().split("-")[1]
+    VERSION = VERSION[:4] + (commits_from_tag,)
+    __version__ = "%d.%d.%d%s%s" % VERSION