Merge pull request #1821 from nmeum/prefer-version-file

get_version.py: Prefer VERSIONFILE over git-describe(1)

AUTHORS

@@ -92,3 +92,4 @@
 * Brandon T. Willard <brandonwillard@gmail.com>
 * Andrew R. M. <nixy@nixy.moe>
 * Tristan de Cacqueray <tdecacqu@redhat.com>
+* Sören Tempel <soeren@soeren-tempel.net>

get_version.py

@@ -5,6 +5,9 @@ import os, subprocess, runpy
 os.chdir(os.path.split(os.path.abspath(__file__))[0])
 VERSIONFILE = os.path.join("hy", "version.py")
 
+if "HY_VERSION" in os.environ:
+    __version__ = os.environ["HY_VERSION"]
+else:
     try:
         __version__ = (subprocess.check_output
                        (["git", "describe", "--tags", "--dirty"])