uw-pluverse / perses

language-agnostic program reducer.
GNU General Public License v3.0
162 stars 22 forks source link

Add release.py #5

Closed XueyanZhang closed 3 years ago

XueyanZhang commented 3 years ago

release.py runs from root folder to:

  1. detect and increment current tag number (version)
  2. build binary 'peruses_deploy.jar'
  3. create a release with new tag number and new binary package. (When releasing, a test editor will pop up for release title and description. Use a blank line to separate them)
XueyanZhang commented 3 years ago

Update:

  1. optimised tag version calculation
  2. stops automatically if bazel fails to build
chengniansun commented 3 years ago

@XueyanZhang

I left a TODO note in the script. Not urgent. You can take a look next week.