commit 96ebd9b7c37c39a74b6733c9b38389859397c306
author Alexander Afanasyev <aa@cs.fiu.edu> Mon Jun 01 19:16:52 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Jun 01 19:16:52 2020 -0400
tree 2d9abec857a67f40d815f0fc6c58e1a6859e5787
parent a122abf5f6d3d7f11b5d625377c672f4d9a35292

Rename VERSION to VERSION.info to avoid conflicts with modern STL

On case-insensitive file systems (e.g., macOS), inclusion of the new
standard <version> header resulted in unexpected inclusion of VERSION
file.

Change-Id: I84d6e37fd5f31666ced4b8b47816ff28dd911f17

.gitignore

diff --git a/.gitignore b/.gitignore
index b1d7223..6ff803e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,4 +29,4 @@
 *.py[cod]
 
 # Other
-/VERSION
+/VERSION.info

wscript

diff --git a/wscript b/wscript
index 4e8b19e..2a83317 100644
--- a/wscript
+++ b/wscript
@@ -198,7 +198,7 @@
     except (OSError, subprocess.CalledProcessError):
         pass
 
-    versionFile = ctx.path.find_node('VERSION')
+    versionFile = ctx.path.find_node('VERSION.info')
     if not gotVersionFromGit and versionFile is not None:
         try:
             Context.g_module.VERSION = versionFile.read()
@@ -215,7 +215,7 @@
         except EnvironmentError as e:
             Logs.warn('%s exists but is not readable (%s)' % (versionFile, e.strerror))
     else:
-        versionFile = ctx.path.make_node('VERSION')
+        versionFile = ctx.path.make_node('VERSION.info')
 
     try:
         versionFile.write(Context.g_module.VERSION)