Skip to content
Permalink
Browse files

Versioning as discussed in #575 (#579)

  • Loading branch information...
mikand authored and marcogario committed May 10, 2019
1 parent 213f84f commit 68051e3d6981f3d75857487e9b19742a094a14bc
Showing with 2 additions and 2 deletions.
  1. +2 −2 make_distrib.sh
@@ -7,8 +7,8 @@
# * Latest commit "49a49f2"
# we get v0.5.1.dev4
#
VERSION=`git describe | sed 's/v\(.*\)-\(.*\)-\(.*\)/\1.dev\2/'`
echo "__version__ = \"$VERSION\"" > pysmt/__init__.py
DEV_VERSION=`git describe | sed 's/v\(.*\)-\(.*\)-\(.*\)/\2/'`
sed -i "s/\"dev\", 1/\"dev\", $DEV_VERSION/" pysmt/__init__.py

# Create package files
python setup.py bdist --format=gztar

0 comments on commit 68051e3

Please sign in to comment.
You can’t perform that action at this time.