Add .vale_version file for releases

project-everest · Nov 1, 2018 · 7f6b9ff · 7f6b9ff
1 parent b4191ab
commit 7f6b9ff
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/.vale_version b/.vale_version
@@ -0,0 +1 @@
+0.2.8
diff --git a/SConstruct b/SConstruct
@@ -959,6 +959,7 @@ if do_build:
   pathlib.Path('bin').mkdir(parents = True, exist_ok = True)
   pathlib.Path('obj').mkdir(parents = True, exist_ok = True)
   pathlib.Path('obj/cache_checked').mkdir(parents = True, exist_ok = True)
+  CopyFile('bin/.vale_version', '.vale_version')
 
   Export('env')
   Export('win32')

diff --git a/tools/scripts/release.py b/tools/scripts/release.py
@@ -0,0 +1,9 @@
+import os
+import shutil
+
+with open('.vale_version') as f:
+    version = f.read().splitlines()[0]
+release = f'vale-release-{version}'
+print(release)
+shutil.copytree('bin', f'releases/{release}/{release}/bin', ignore = shutil.ignore_patterns('z3.exe'))
+shutil.make_archive(f'releases/{release}', 'zip', f'releases/{release}')